mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-11 02:50:24 +00:00
32961afd4f
ML-Doc is a system for documenting the interfaces of SML libraries. It can produce both HTML and LaTeX output. http://people.cs.uchicago.edu/~jhr/tools/ml-doc.html PR: ports/115932: Submitted by: Timothy Bourke <timbob@bigpond.com>
28 lines
644 B
Plaintext
28 lines
644 B
Plaintext
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%%
|