bin/extract-sig
bin/extract-info
bin/filter-index
bin/html-gen
bin/html-index
bin/html-toc
bin/latex-gen
bin/merge-info
bin/mkdoc
bin/mk-mldoc-makefile
bin/proof-latex
%%DATADIR%%/lib/HTMLsym.ent
%%DATADIR%%/lib/catalog
%%DATADIR%%/lib/dummy-filemap.sgml
%%DATADIR%%/lib/element-list
%%DATADIR%%/lib/entities.sgml
%%DATADIR%%/lib/iso-lat1.ent
%%DATADIR%%/lib/ml-doc-info.dtd
%%DATADIR%%/lib/ml-doc.decl
%%DATADIR%%/lib/ml-doc.dtd
%%DATADIR%%/lib/LaTeX/mldoc-book.cls
%%DATADIR%%/lib/LaTeX/mldoc-code.sty
%%DATADIR%%/lib/LaTeX/mldoc.sty
%%DATADIR%%/lib/LaTeX/proofMLDoc.sty
@dirrm %%DATADIR%%/lib/LaTeX
@dirrm %%DATADIR%%/lib
@dirrm %%DATADIR%%