scripts/impression/compatibilise
glondu 1dac80ee23 Script pour contourner le problme des PDFs avec une version trop rcente.
darcs-hash:20061011135059-68412-96642b5c02d4c2d0b2ddd548afeaacf881fd381d.gz
2006-10-11 15:50:59 +02:00

15 lines
295 B
Bash
Executable file

#!/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%.pdf}.ps
pdftops $FICHIER_PDF
ps2pdf $FICHIER_PS
rm -f $FICHIER_PS
fi