# $Id: proofrc,v 1.2 2002/09/30$

################################################################################
#                         Proof configuration file                             #
################################################################################

USE_ETEX=no
# Causes that e-TeX is called to compile TeX sources. Default is to call
# the original TeX binary designed by D. E. Knuth. (Take care when changing
# this entry, for e-TeX would be called in extended mode by default, where
# it's not fully compatible to TeX!)

TEXPDFMODE=1
# Tells Proof how to process tex-files in order to end up with a pdf-file.
# Three different methods are currently implemented. Choose the one that fits
# best to your needs!
# 1 : call Han The Thanh's 'pdftex'         (.tex ===================> .pdf)
# 2 : call Mark A. Wicks's 'dvipdfm'        (.tex --> .dvi ==========> .pdf)
# 3 : call L. Peter Deutsch's 'Ghostscript' (.tex --> .dvi --> .ps ==> .pdf)

DVIPDFMODE=1
# Tells Proof how to process dvi-files in order to end up with a pdf-file.
# Two different methods are currently implemented. Choose the one that fits
# best to your needs!
# 1 : call Mark A. Wicks's 'dvipdfm'        (.dvi ==========> .pdf)
# 2 : call L. Peter Deutsch's 'Ghostscript' (.dvi --> .ps ==> .pdf)

REPORTMODE=errorstopmode
# This entry provides an interface to TeX's error reporting facilities.
# Suitable values are 'errorstopmode', 'scrollmode', 'nonstopmode' and
# 'batchmode'. (see TeX's manual page on what this exactly means...)

#FORMATFILEDIR='~/.TeX'
# This variable denotes the location where Proof expects to find the current
# formatfile 'mylatex'. The default is to put it in the current working di-
# rectory. Uncomment this line if you want your formatfile to be unique for
# all documents you work on.

USE_RCS=no
# Causes that RCS (Revision Control System) software (if available) is used
# to save your document. This is useful especially when editing larger
# documents where the need to restore an elder, well defined revision might
# arise. A second advantage of this method lies in the fact that it saves
# diskspace cause only file changes are saved to disk and not whole files.
# (For further information, please take a look at 'rcsintro' manual page!)

BACKUP_FILES=7
# This option takes effect only if you don't use RCS to backup your docu-
# ment. In this case, each time you exit, a new back-up copy of your
# sourcefile would be created, where BACKUP_FILES denotes the maximum
# number of back-up files, that are simultaniously kept in the working
# directory. Back-up files are marked by a filename suffix showing their
# chronological origin, i. e. larger file indices denote elder files.

PROCSTAT='ps aw'
# This command is used for process status reporting. (Depends on the sys-
# tem you are running! On Linux platforms the default setting should work
# properly. System V and BSD might need a slightly different setting.)


# The sections below need to be modified only if you wish to adjust the
# startup behaviour of a particular auxiliary program Proof calls.


############################### driver section #################################

DVI2PS=dvips
# .dvi --> .ps  (Tomas Rokicki)

DVI2PDF=dvipdfm
# .dvi --> .pdf (Mark A. Wicks)

PS2PDF=ps2pdf
# .ps  --> .pdf (Ghostscript, L. Peter Deutsch)

MF=mf
# .mf  --> .gf  (METAFONT, D. E. Knuth)

MP=mpost
# .mp  --> .ps  (MetaPost, John Hobby)


############################### viewer section #################################

DVI_VIEWER='xdvi -keep -paper a4 -geometry 550x580'
# Viewer command for .dvi-files with default options

PS_VIEWER='ghostview -title -magstep -2'
# Viewer command for .ps-files with default options

PDF_VIEWER='gv -spartan -monochrome -watch -center -resize'
# Viewer command for .pdf-files with default options
																				

############################# conversion section ###############################

# You may enter a conversion routine of your own here if you need a particular
# output file format Proof does not provide. To do so, simply put your code in
# an ordinary shell function and use positional parameter $1 to access the
# sourcecode you'd like to process. Proof expects the target file to wear the
# same basename. Its filename suffix however is derived from a string variable
# called 'ftypes', which thus has to be declared within the shell function
# referred to!
# The meaning of 'ftypes' is very straightforward. The left hand entries
# denote the filename suffices of less important files that should be deleted
# when Proof exits (this entry is optional), whereas the right hand side
# denotes the filename suffix of the target file being produced. So
# ftypes='log,aux->dvi' for instance would have Proof treat $1.log, $1.aux
# like auxiliary files (These files are deleted when Proof exits, unless
# the '-a' option is given!) and $1.dvi like the target file that has to be
# left untouched. If you need temporary files, make sure that the filename
# prefix is 'tmp'! Those files are deleted too on exit. Use Proof's '-u'
# option to call conversion routine you added!

# Two sample conversion routines:

function A5  # generates DIN A5 booklet
{
  ftypes='log,aux,dvi->ps'

  latex $1
  dvips -o tmp-in.ps $1.dvi
  psresize -Pa4 -pa5 tmp-in.ps tmp.ps
  psbook -s16 tmp.ps tmp-sorted.ps
  pstops '4:0L(21cm,0)+1L(21cm,14.85cm),2R(0,29.7cm)+3R(0,14.85cm)' \
         tmp-sorted.ps $1.ps
}

function A4toA5  # scales DIN A4 documents down to DIN A5
{
  ftypes='log,aux,dvi->ps'

  latex $1
  dvips -t landscape -x 707 -o tmp.ps $1.dvi
  psbook -s16 tmp.ps tmp-sorted.ps
  pstops '2:0(.744cm,.744cm)+1(.744cm,-14.106cm)' tmp-sorted.ps $1.ps
}