You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
46 lines
1007 B
46 lines
1007 B
#!/bin/sh
|
|
# Convert DVI to PDF.
|
|
#
|
|
# Please contact Andrew Ford <A.Ford@ford-mason.co.uk> with any questions
|
|
# about this file.
|
|
#
|
|
# Based on ps2pdf
|
|
|
|
# This definition is changed on install to match the
|
|
# executable name set in the makefile
|
|
GS_EXECUTABLE=gs
|
|
|
|
|
|
OPTIONS=""
|
|
DVIPSOPTIONS=""
|
|
while true
|
|
do
|
|
case "$1" in
|
|
-R*) DVIPSOPTIONS="$DVIPSOPTIONS $1";;
|
|
-?*) OPTIONS="$OPTIONS $1" ;;
|
|
*) break ;;
|
|
esac
|
|
shift
|
|
done
|
|
|
|
if [ $# -lt 1 -o $# -gt 2 ]; then
|
|
echo "Usage: `basename \"$0\"` [options...] input.dvi [output.pdf]" 1>&2
|
|
exit 1
|
|
fi
|
|
|
|
infile=$1;
|
|
|
|
if [ $# -eq 1 ]
|
|
then
|
|
case "${infile}" in
|
|
*.dvi) base=`basename "${infile}" .dvi` ;;
|
|
*) base=`basename "${infile}"` ;;
|
|
esac
|
|
outfile="${base}".pdf
|
|
else
|
|
outfile=$2
|
|
fi
|
|
|
|
# We have to include the options twice because -I only takes effect if it
|
|
# appears before other options.
|
|
exec dvips -Ppdf $DVIPSOPTIONS -q -f "$infile" | $GS_EXECUTABLE $OPTIONS -q -P- -dSAFER -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sstdout=%stderr -sOutputFile="$outfile" $OPTIONS -
|