28 lines
644 B
Text
28 lines
644 B
Text
|
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%%
|