16 lines
318 B
Bash
Executable file
16 lines
318 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}.ps
|
|
shift
|
|
pdftops "$*" $FICHIER_PDF
|
|
ps2pdf $FICHIER_PS $FICHIER_PDF
|
|
rm -f $FICHIER_PS
|
|
fi
|