# $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 }