/usr/share/doc-base/mltex is in smlnj-doc 110.78-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 | Document: mltex
Title: MLTeX - A special package for writing MLRISC documentation
Author: Allen Leung, Lal George
Abstract: MLTeX is a special LaTeX package for writing MLRISC
documentation. It is similar to the latex2html tool except that MLTeX has
special environments for documentating Standard ML code. In addition, there
is an accompanying tool called mltex2html for generating HTML pages.
Section: Programming
Format: PostScript
Files: /usr/share/doc/smlnj-doc/mltexdoc.ps.gz
|