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