summaryrefslogtreecommitdiff
path: root/support/proof/proofrc
blob: 24b4148a1ae37c7a8906d28162aea3b8ef4f8f15 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
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
}