LEVEL=1
VIEW=wpdf
RELOAD=xpdfreload
# RELOAD="xpdf -remote $$ -reload"
VIEWCOMMAND="xpdf -remote $$"
DVI=pdf
INITEX="pdfetex -ini"
# INITEX=pdfinitex
# INITEX=pdfeinitex
LATEX=pdflatex
# LATEX=pdfelatex
FORMAT=pdflatex

SIGDVI=SIGHUP


#does not seem needed any more:

# MULTIPLE=false;
# DUPLEX=false

# FMT=fmt
# FMT=efmt
# DVICOPY=antidate
# POSTDATE=04$(date +%m%d%H%M.%S)
# #echo $POSTDATE

# antidate () {
#   mv $1 $2
#   touch -t $POSTDATE $2
# }


#misc

# Translating DVI to Postscript
# DVIPS="dvips"

# Translating DVI to DVI, may be set to dvicopy
# DVICOPY=mv

# BIBTEX="bibtex"

# # Default flags
# AUTOCOMPILE=true
# AUTORECOMPILE=true

# ### Configuration (manual only)
# # Signals telling gv and xdvi/advi to refresh
# SIGDVI=SIGUSR1
# SIGPS=SIGHUP
# SIGPDF=SIGCONT