1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-24 04:33:24 +00:00
freebsd-ports/devel/ml-doc/pkg-plist
Edwin Groothuis 32961afd4f New port: devel/ml-doc
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>
2007-09-07 12:01:00 +00:00

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%%