TEXLIBDIR : LIBRARYCMD

TEXLIBDIR is a library command.
Print all the library files in a given directory into
TEX files. See TEXLIBFILE for details.
 
The command format for TEXLIBDIR is:

<LIB>TEXLIBDIR DIRECTORY TYPES FILENAME VERBOSITY EJECT
"DIRSPEC" "LIB-ARGTYPE-LIST" "FILESPEC" "SYMBOL" "YESNO"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage