ADDINCLUDEPATHNAME|-I/usr/local/include/
ADDLIBPATHNAME|-L/usr/local/lib/
ADDLIBSNAME|-lXext -lX11 -lm
ALIGNMENTNAME|8
ANSINAME|#define ANSI_C
BIGLTEXNAME|big-latex
BINPATHNAME|/usr/local/bin/
BISONNAME|not_available 
BLOCKSIZENAME|1048576
CATNAME|/bin/cat
CCLINKNAME|gcc
CCNAME|gcc
CFLAGSNAME|-c -O -DULTRIX
CLEARNAME|/usr/ucb/clear
CLINKFLAGSNAME|-o
FGREPNAME|/usr/bin/fgrep
FIGTODEVNAME|fig2dev
FIGTOPSTOTEXNAME|fig2ps2tex
FLEXNAME|not_available 
FONTALIASNAME|*-fixed-bold-r-*--13-*iso8859-1
INPUTFOCUSNAME|#define NOINPUTFOCUS
INSTALLBINNAME|/usr/bin/install -s -m 755 dummy /usr/local/bin/dummy
INSTALLDIRNAME|/usr/bin/install -d -m 755
INSTALLMANNAME|/usr/bin/install -m 644 dummy /usr/local/man/man1/dummy
LATEXNAME|latex
LNNAME|/bin/ln
MAKEDEPENDNAME|makedepend
MAKENAME|make
MANEXTNAME|l
MANPATHNAME|/usr/local/man/manl/
MVNAME|/bin/mv
RMNAME|/bin/rm
SEDNAME|/bin/sed
SLEEPNAME|/usr/bin/sleep
TOUCHNAME|/usr/bin/touch
VCGNAME|xvcg
WCNAME|/usr/ucb/wc
WINDOWSYSTEMNAME|#define X11
