#!/bin/tcsh

set infile=$1
set file=/usr/bin/file
set tempfile=`tempfile`
set ps2pdf=/usr/bin/ps2pdf14
set dvips=/usr/bin/dvips
set latex=/usr/bin/latex

# Source: http://carol.wins.uva.nl/~portegie/tex2pdf.html
# -------------------------------------------------------
set ps2pdfopts=( "-dPDFSETTINGS#/prepress" \
		 "-dEmbedAllFonts#true" \
		 "-dEncodeGrayImages#true" \
		 "-dAutoFilterGrayImages#false" \
		 "-dGrayImageFilter#/FlateEncode" \
		 "-dEncodeMonoImages#true" \
		 "-dAutoFilterMonoImages#false" \
		 "-dMonoImageFilter#/FlateEncode" \
		 "-dEncodeColorImages#true" \
	  	 "-dAutoFilterColorImages#false" \
	         "-dColorImageFilter#/FlateEncode" )

set usefile=$infile

if ( x`$file ${usefile} | grep "LaTeX 2e document text"` != x"" ) then
    echo "TEX->DVI" 
    $latex ${infile}
    set usefile=${usefile:r}.dvi
endif

if ( x`$file ${usefile} | grep "DVI file"` != x"" ) then
    echo "DVI->PS"
    $dvips -G0 -Ppdf -Z -D600 -o ${tempfile}.ps ${usefile}
    set usefile=${tempfile}.ps
endif

if ( x`$file ${usefile} | grep PostScript` != x"" ) then
    echo "PS->PDF"
    $ps2pdf $ps2pdfopts ${usefile} ${infile:r}.pdf 
endif

rm -f ${tempfile}*