summaryrefslogtreecommitdiff
path: root/support/proof/proofrc
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/proof/proofrc
Initial commit
Diffstat (limited to 'support/proof/proofrc')
-rw-r--r--support/proof/proofrc138
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
+}
+