diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/proof/proofrc |
Initial commit
Diffstat (limited to 'support/proof/proofrc')
-rw-r--r-- | support/proof/proofrc | 138 |
1 files changed, 138 insertions, 0 deletions
diff --git a/support/proof/proofrc b/support/proof/proofrc new file mode 100644 index 0000000000..24b4148a1a --- /dev/null +++ b/support/proof/proofrc @@ -0,0 +1,138 @@ +# $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 +} + |