diff options
| author | edwin <edwin@FreeBSD.org> | 2007-09-07 20:01:00 +0800 |
|---|---|---|
| committer | edwin <edwin@FreeBSD.org> | 2007-09-07 20:01:00 +0800 |
| commit | 1ef262f3bd7f6aacb9ab0b625ff5da548ebc30ad (patch) | |
| tree | 2332239ea97bcb35d74b2b3c70c596cca2ddc332 /devel/Makefile | |
| parent | f0d0a9b3ca0276c4b084ad4e34b8a2741ff184dd (diff) | |
| download | freebsd-ports-gnome-1ef262f3bd7f6aacb9ab0b625ff5da548ebc30ad.tar.gz freebsd-ports-gnome-1ef262f3bd7f6aacb9ab0b625ff5da548ebc30ad.tar.zst freebsd-ports-gnome-1ef262f3bd7f6aacb9ab0b625ff5da548ebc30ad.zip | |
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>
Diffstat (limited to 'devel/Makefile')
| -rw-r--r-- | devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index ab68bbda1c54..e5938da5a6fb 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -738,6 +738,7 @@ SUBDIR += mk SUBDIR += mkcmd SUBDIR += mkmf + SUBDIR += ml-doc SUBDIR += mm SUBDIR += mob SUBDIR += mono-tools |