Language and tools for documenting Standard ML libraries
There is no maintainer for this port. Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org Port Added: 07 Sep 2007 12:03:06 License: not specified in port
To install the port:cd /usr/ports/devel/ml-doc/ && make install clean To add the package:pkg_add -r ml-doc
Configuration Options
===> The following configuration options are available for ml-doc-2.0_1:
LATEX=OFF (default) "Install LaTeX if necessary (needed for pdf output)"
===> Use 'make config' to modify these settings