man/man1/ml-doc.1.gz
man/man1/mkdoc.1.gz
man/man1/extract-sig.1.gz
man/man1/extract-info.1.gz
man/man1/merge-info.1.gz
man/man1/html-gen.1.gz
man/man1/html-index.1.gz
man/man1/html-toc.1.gz
man/man1/latex-gen.1.gz
man/man1/proof-latex.1.gz
man/man1/filter-index.1.gz
man/man1/mk-mldoc-makefile.1.gz
@unexec rm -f %D/man/cat1/ml-doc.1.gz %D/man/cat1/ml-doc.1 %D/man/cat1/ml-doc.1.gz %D/man/cat1/ml-doc.1.gz.gz %D/man/cat1/ml-doc.1.gz.bz2
@unexec rm -f %D/man/cat1/mkdoc.1.gz %D/man/cat1/mkdoc.1 %D/man/cat1/mkdoc.1.gz %D/man/cat1/mkdoc.1.gz.gz %D/man/cat1/mkdoc.1.gz.bz2
@unexec rm -f %D/man/cat1/extract-sig.1.gz %D/man/cat1/extract-sig.1 %D/man/cat1/extract-sig.1.gz %D/man/cat1/extract-sig.1.gz.gz %D/man/cat1/extract-sig.1.gz.bz2
@unexec rm -f %D/man/cat1/extract-info.1.gz %D/man/cat1/extract-info.1 %D/man/cat1/extract-info.1.gz %D/man/cat1/extract-info.1.gz.gz %D/man/cat1/extract-info.1.gz.bz2
@unexec rm -f %D/man/cat1/merge-info.1.gz %D/man/cat1/merge-info.1 %D/man/cat1/merge-info.1.gz %D/man/cat1/merge-info.1.gz.gz %D/man/cat1/merge-info.1.gz.bz2
@unexec rm -f %D/man/cat1/html-gen.1.gz %D/man/cat1/html-gen.1 %D/man/cat1/html-gen.1.gz %D/man/cat1/html-gen.1.gz.gz %D/man/cat1/html-gen.1.gz.bz2
@unexec rm -f %D/man/cat1/html-index.1.gz %D/man/cat1/html-index.1 %D/man/cat1/html-index.1.gz %D/man/cat1/html-index.1.gz.gz %D/man/cat1/html-index.1.gz.bz2
@unexec rm -f %D/man/cat1/html-toc.1.gz %D/man/cat1/html-toc.1 %D/man/cat1/html-toc.1.gz %D/man/cat1/html-toc.1.gz.gz %D/man/cat1/html-toc.1.gz.bz2
@unexec rm -f %D/man/cat1/latex-gen.1.gz %D/man/cat1/latex-gen.1 %D/man/cat1/latex-gen.1.gz %D/man/cat1/latex-gen.1.gz.gz %D/man/cat1/latex-gen.1.gz.bz2
@unexec rm -f %D/man/cat1/proof-latex.1.gz %D/man/cat1/proof-latex.1 %D/man/cat1/proof-latex.1.gz %D/man/cat1/proof-latex.1.gz.gz %D/man/cat1/proof-latex.1.gz.bz2
@unexec rm -f %D/man/cat1/filter-index.1.gz %D/man/cat1/filter-index.1 %D/man/cat1/filter-index.1.gz %D/man/cat1/filter-index.1.gz.gz %D/man/cat1/filter-index.1.gz.bz2
@unexec rm -f %D/man/cat1/mk-mldoc-makefile.1.gz %D/man/cat1/mk-mldoc-makefile.1 %D/man/cat1/mk-mldoc-makefile.1.gz %D/man/cat1/mk-mldoc-makefile.1.gz.gz %D/man/cat1/mk-mldoc-makefile.1.gz.bz2
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
share/ml-doc/lib/HTMLsym.ent
share/ml-doc/lib/catalog
share/ml-doc/lib/dummy-filemap.sgml
share/ml-doc/lib/element-list
share/ml-doc/lib/entities.sgml
share/ml-doc/lib/iso-lat1.ent
share/ml-doc/lib/ml-doc-info.dtd
share/ml-doc/lib/ml-doc.decl
share/ml-doc/lib/ml-doc.dtd
share/ml-doc/lib/LaTeX/mldoc-book.cls
share/ml-doc/lib/LaTeX/mldoc-code.sty
share/ml-doc/lib/LaTeX/mldoc.sty
share/ml-doc/lib/LaTeX/proofMLDoc.sty
@dirrm share/ml-doc/lib/LaTeX
@dirrm share/ml-doc/lib
@dirrm share/ml-doc