#!/bin/sh

# Rend les pdf compatibles avec Ghostscript

exec >/dev/null 2>/dev/null

if head -n 1 $1 | egrep -q "1.[45]"; then
    cd `dirname $1`
    FICHIER_PDF=`basename $1`
    FICHIER_PS=${FICHIER_PDF%.pdf}.ps
    pdftops $FICHIER_PDF
    ps2pdf $FICHIER_PS $FICHIER_PDF
    rm -f $FICHIER_PS
fi