scripts/archive/impression_old/compatibilise
2013-03-19 02:27:06 +01:00

14 lines
301 B
Bash
Executable file

#!/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