/usr/local/man/man1/ml-doc.1.gz
/usr/local/man/man1/mkdoc.1.gz
/usr/local/man/man1/extract-sig.1.gz
/usr/local/man/man1/extract-info.1.gz
/usr/local/man/man1/merge-info.1.gz
/usr/local/man/man1/html-gen.1.gz
/usr/local/man/man1/html-index.1.gz
/usr/local/man/man1/html-toc.1.gz
/usr/local/man/man1/latex-gen.1.gz
/usr/local/man/man1/proof-latex.1.gz
/usr/local/man/man1/filter-index.1.gz
/usr/local/man/man1/mk-mldoc-makefile.1.gz
/usr/local/bin/extract-sig
/usr/local/bin/extract-info
/usr/local/bin/filter-index
/usr/local/bin/html-gen
/usr/local/bin/html-index
/usr/local/bin/html-toc
/usr/local/bin/latex-gen
/usr/local/bin/merge-info
/usr/local/bin/mkdoc
/usr/local/bin/mk-mldoc-makefile
/usr/local/bin/proof-latex
/usr/local/share/ml-doc/lib/HTMLsym.ent
/usr/local/share/ml-doc/lib/catalog
/usr/local/share/ml-doc/lib/dummy-filemap.sgml
/usr/local/share/ml-doc/lib/element-list
/usr/local/share/ml-doc/lib/entities.sgml
/usr/local/share/ml-doc/lib/iso-lat1.ent
/usr/local/share/ml-doc/lib/ml-doc-info.dtd
/usr/local/share/ml-doc/lib/ml-doc.decl
/usr/local/share/ml-doc/lib/ml-doc.dtd
/usr/local/share/ml-doc/lib/LaTeX/mldoc-book.cls
/usr/local/share/ml-doc/lib/LaTeX/mldoc-code.sty
/usr/local/share/ml-doc/lib/LaTeX/mldoc.sty
/usr/local/share/ml-doc/lib/LaTeX/proofMLDoc.sty