ml-doc 2.0 devel =0

Language and tools for documenting Standard ML libraries
Maintained by: timbob@bigpond.com
Port Added: 07 Sep 2007 13:03:06

---

---

ML-Doc is a system for documenting the interfaces of SML libraries. It can
produce both HTML and LaTeX output.

WWW: http://people.cs.uchicago.edu/~jhr/tools/ml-doc.html

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

Required To Build: lang/sml-nj-devel, textproc/jade
Required To Run: textproc/jade

---

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:
     LATEX=OFF (default) "Install LaTeX if necessary (needed for pdf output)"
===> Use 'make config' to modify these settings

---

Master Sites:

http://people.cs.uchicago.edu/~jhr/tools/downloads/

http://www.cse.unsw.edu.au/~tbourke/distfiles/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

Update port: devel/ml-doc (very minor patch)

        Sorry, I got the comment wrong.

PR:             ports/116293
Submitted by:   Timothy Bourke <timbob@bigpond.com>

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>

12 vulnerabilities affecting 16 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities