diff --git a/impression/compatibilise b/impression/compatibilise index fbb060e0..e4f511b8 100755 --- a/impression/compatibilise +++ b/impression/compatibilise @@ -8,8 +8,9 @@ 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_PS=${FICHIER_PDF}.ps + shift + pdftops "$*" $FICHIER_PDF + ps2pdf $FICHIER_PS $FICHIER_PDF rm -f $FICHIER_PS fi