diff options
Diffstat (limited to 'support/db2tex/db2tex.ini')
-rw-r--r-- | support/db2tex/db2tex.ini | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/support/db2tex/db2tex.ini b/support/db2tex/db2tex.ini new file mode 100644 index 0000000000..8367f4d9d7 --- /dev/null +++ b/support/db2tex/db2tex.ini @@ -0,0 +1,39 @@ +# ----------------------- +# INI-File fuer : db2tex +# ----------------------- +# - Kommentare wie in Shell-Skripten oder auch ganz frei, solange nicht +# ab der ersten Spalte eines der z.Zt. 15 Schluesselwoerter mit einem +# folgenden Gleichheitszeichen steht. Kommentare auf derselben Zeile +# wie Options-Setzungen muessen durch mindestens ein BLANK getrennt +# werden. +# +# - Setzung der Optionen immer am Zeilenanfang in der ersten Spalte: +# VAR=wert <<<---------------- ohne BLANKS, wie in Shellskripten +# +# - Die Schluesselwoerter PRINTER und TEXPOOL duerfen auch mit Umgebungs- +# variablen belegt werden, z.B.: +# PRINTER=$TEXDRUCKER <<------ siehe auch weiter unten + +# DATEI-NAMEN +TEXT=dbwork.txt # +REPORT=dbwork.rep # +DEF=dbwork.def # Zwischendatei +INPUT=dbwork.inp # Zwischendatei +DVI=dbwork.dvi # +#OUTPUT=dbwork.out # optional + +# OPTIONEN +QUIET=noe # Einzig wirksame Belegung: yes +COMPILE_ONLY=nein # Einzig wirksame Belegung: yes +SEP=" " +#OUTDEV=/dev/tty + +# TEX !! TEXPOOL muss vor VIRTEX und DVIxxx definiert werden !! +# !! da diese relativ zu TEXPOOL angegeben werden !! +TEXPOOL=/usr/local/lib/tex +VIRTEX=virtex "&"lplain +DVITPS=dvitps/dvitps -d forward -E 0 -H-16mm -V-30mm -q +#DVITPS=dvijep -b -eTEXFONTS=/u1/tex/fonts -q -x5mm -y9mm +DVITTY=dvitty -Fpg +#PRINTER=${TEXDRUCKER:-mdlraw} # z.B. hpk5raw +UMLT2TEX=umlt2tex |