blob: 1f958ba4d79de6323ed64fd94b4afe0718ea2a95 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
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%%
|
