#!/bin/sh

# Rend les pdf compatibles avec Ghostscript

set -e
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}.ps
    shift
    pdftops "$*" $FICHIER_PDF
    ps2pdf $FICHIER_PS $FICHIER_PDF
    rm -f $FICHIER_PS
fi