# New ports collection makefile for:   ml-doc
# Date created:        21 Aug 2007
# Whom:                Timothy Bourke <timbob@bigpond.com>
#
# $FreeBSD$
#

PORTNAME=	ml-doc
PORTVERSION=	2.0
PORTREVISION=	1
CATEGORIES=	devel
MASTER_SITES=	http://people.cs.uchicago.edu/~jhr/tools/downloads/ \
		http://www.cse.unsw.edu.au/~tbourke/distfiles/
DISTNAME=	${PORTNAME}
EXTRACT_SUFX=	.tgz

MAINTAINER=	ports@FreeBSD.org
COMMENT=	Language and tools for documenting Standard ML libraries

BUILD_DEPENDS=	smlnj-devel>=110.71:${PORTSDIR}/lang/sml-nj-devel \
		nsgmls:${PORTSDIR}/textproc/jade
RUN_DEPENDS=	nsgmls:${PORTSDIR}/textproc/jade

GNU_CONFIGURE=	yes
CONFIGURE_ENV+=	SMLNJ_DEVEL=yes
ALL_TARGET=	build
MAKE_ENV+=	DATADIR=${DATADIR} SMLNJ_DEVEL=yes

SUB_FILES=	ml-doc.1 mkdoc.1 fix-cml-doc.sh
MAN1=		ml-doc.1 mkdoc.1
MLINKS=		ml-doc.1 extract-sig.1 ml-doc.1 extract-info.1 \
		ml-doc.1 merge-info.1 ml-doc.1 html-gen.1 \
		ml-doc.1 html-index.1 ml-doc.1 html-toc.1 \
		ml-doc.1 latex-gen.1 ml-doc.1 proof-latex.1 \
		ml-doc.1 filter-index.1 ml-doc.1 mk-mldoc-makefile.1

OPTIONS_DEFINE=	LATEX
LATEX_DESC=	Install LaTeX if necessary (needed for pdf output)

.include <bsd.port.options.mk>

.if ${PORT_OPTIONS:MLATEX}
RUN_DEPENDS+=	latex:${PORTSDIR}/print/teTeX
.endif

post-extract:
	@${CP} ${FILESDIR}/lib-Makefile ${WRKSRC}/lib/Makefile

post-install:
	@${INSTALL_MAN} ${WRKDIR}/ml-doc.1 ${MAN1PREFIX}/man/man1
	@${INSTALL_MAN} ${WRKDIR}/mkdoc.1 ${MAN1PREFIX}/man/man1

.include <bsd.port.mk>
ter</option>
<option value='mesa-next' selected='selected'>mesa-next</option>
<option value='wayland'>wayland</option>
<option value='xorg-server-1.19.6'>xorg-server-1.19.6</option>
<option value='xserver-next'>xserver-next</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>FreeBSD graphics obsolete development ports (https://github.com/freebsd/freebsd-ports-graphics)</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/about/'>about</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/'>summary</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/refs/?id=141ec039ed27f65c15066f72c70a0f4bf3dc2993'>refs</a><a class='active' href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/log/security/p5-Crypt-OICQ/Makefile'>log</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/tree/security/p5-Crypt-OICQ/Makefile?id=141ec039ed27f65c15066f72c70a0f4bf3dc2993'>tree</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/security/p5-Crypt-OICQ/Makefile?id=141ec039ed27f65c15066f72c70a0f4bf3dc2993'>commit</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/diff/security/p5-Crypt-OICQ/Makefile?id=141ec039ed27f65c15066f72c70a0f4bf3dc2993'>diff</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/stats/security/p5-Crypt-OICQ/Makefile'>stats</a></td><td class='form'><form class='right' method='get' action='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/log/security/p5-Crypt-OICQ/Makefile'>
<input type='hidden' name='id' value='141ec039ed27f65c15066f72c70a0f4bf3dc2993'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/log/?id=141ec039ed27f65c15066f72c70a0f4bf3dc2993'>root</a>/<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/log/security?id=141ec039ed27f65c15066f72c70a0f4bf3dc2993'>security</a>/<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/log/security/p5-Crypt-OICQ?id=141ec039ed27f65c15066f72c70a0f4bf3dc2993'>p5-Crypt-OICQ</a>/<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/log/security/p5-Crypt-OICQ/Makefile?id=141ec039ed27f65c15066f72c70a0f4bf3dc2993'>Makefile</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th></th><th class='left'>Commit message (<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/log/security/p5-Crypt-OICQ/Makefile?id=141ec039ed27f65c15066f72c70a0f4bf3dc2993&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th><th class='left'>Age</th><th class='left'>Files</th><th class='left'>Lines</th></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/security/p5-Crypt-OICQ/Makefile?id=aee5d078415b0539a67351ff92847bd4fbe28e0c'>Remove deprecation text, the author was back.</a></td><td>delphij</td><td><span title='2007-02-09 16:50:08 +0800'>2007-02-09</span></td><td>1</td><td><span class='deletions'>-3</span>/<span class='insertions'>+0</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/security/p5-Crypt-OICQ/Makefile?id=766831b69fc4a0237030e38a19deefc403563eb8'>- Mark as DEPRECATED: This project ceased few years ago. As this is mainly</a></td><td>rafan</td><td><span title='2007-01-11 18:57:05 +0800'>2007-01-11</span>rts-gnome/about/?h=gnome-3.24'>about</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/?h=gnome-3.24'>summary</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/refs/?h=gnome-3.24&amp;id=addc315bfa670dfea73d462e7d4d7ee4929fb069'>refs</a><a class='active' href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/x11-themes/fvwm-themes?h=gnome-3.24'>log</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/tree/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=addc315bfa670dfea73d462e7d4d7ee4929fb069'>tree</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=addc315bfa670dfea73d462e7d4d7ee4929fb069'>commit</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/diff/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=addc315bfa670dfea73d462e7d4d7ee4929fb069'>diff</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/stats/x11-themes/fvwm-themes?h=gnome-3.24'>stats</a></td><td class='form'><form class='right' method='get' action='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/x11-themes/fvwm-themes'>
<input type='hidden' name='h' value='gnome-3.24'/><input type='hidden' name='id' value='addc315bfa670dfea73d462e7d4d7ee4929fb069'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/?h=gnome-3.24&amp;id=addc315bfa670dfea73d462e7d4d7ee4929fb069'>root</a>/<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/x11-themes?h=gnome-3.24&amp;id=addc315bfa670dfea73d462e7d4d7ee4929fb069'>x11-themes</a>/<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=addc315bfa670dfea73d462e7d4d7ee4929fb069'>fvwm-themes</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th></th><th class='left'>Commit message (<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/log/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=addc315bfa670dfea73d462e7d4d7ee4929fb069&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th><th class='left'>Age</th><th class='left'>Files</th><th class='left'>Lines</th></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=e8efdd21e5ff43846d793d8491abfecf222c6dc2'>- update to 1.4.1</a></td><td>dinoex</td><td><span title='2010-03-28 14:47:48 +0800'>2010-03-28</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=d3567a1c6145dd0c4b27be2f5b04b773099dd9fc'>- Switch SourceForge ports to the new File Release System: categories startin...</a></td><td>amdmi3</td><td><span title='2009-08-22 08:39:37 +0800'>2009-08-22</span></td><td>1</td><td><span class='deletions'>-2</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=11edc5451416c23af13418fc8391548f68dd629b'>Bump portrevision due to upgrade of devel/gettext.</a></td><td>edwin</td><td><span title='2008-06-06 22:17:21 +0800'>2008-06-06</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=a246a0de817d9ea7bfd118678ddde72be2830e9a'>- Remove USE_XLIB/USE_X_PREFIX/USE_XPM in favor of USE_XORG</a></td><td>miwi</td><td><span title='2008-03-25 07:21:25 +0800'>2008-03-25</span></td><td>1</td><td><span class='deletions'>-2</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=87f4d471fb27b9547c1a0de221b51f4c31684157'>- Welcome X.org 7.2 \o/.</a></td><td>flz</td><td><span title='2007-05-20 04:36:56 +0800'>2007-05-20</span></td><td>1</td><td><span class='deletions'>-0</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=5916330a76a49493eb8e92fadff90d99cb1a6445'>SHA256ify</a></td><td>edwin</td><td><span title='2006-01-24 11:16:52 +0800'>2006-01-24</span></td><td>1</td><td><span class='deletions'>-0</span>/<span class='insertions'>+2</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=e31bed690b2fba4714686b691a351a51b98d80e8'>Replace ugly "@unexec rmdir %D... 2&gt;/dev/null || true" with @dirrmtry</a></td><td>edwin</td><td><span title='2006-01-22 11:01:03 +0800'>2006-01-22</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=44523f04d06dfc18c8ad862521457a959ba374ea'>Add explicit perl dependency. will no longer be implied by USE_X_PREFIX.</a></td><td>lesi</td><td><span title='2004-12-19 14:25:31 +0800'>2004-12-19</span></td><td>1</td><td><span class='deletions'>-0</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=7abfb7602d7e1f955e410e7e03f1f1861279e132'>Requires fvwm2-devel, not plain fvwm2</a></td><td>vs</td><td><span title='2004-07-07 15:45:47 +0800'>2004-07-07</span></td><td>1</td><td><span class='deletions'>-2</span>/<span class='insertions'>+2</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=e4a76f512fab6bceaed9e4cce16f37989c21d713'>- Update to 0.7.0</a></td><td>vs</td><td><span title='2004-07-06 19:27:57 +0800'>2004-07-06</span></td><td>3</td><td><span class='deletions'>-50</span>/<span class='insertions'>+419</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=d52d34bb3d9e6fd38ddffcd23737773386641e72'>- Populate new category x11-themes with some candidates from x11-wm</a></td><td>pav</td><td><span title='2004-06-02 11:02:13 +0800'>2004-06-02</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=2f52a5f1c3757f1ef2ff0798cb3c545db91914f8'>Update to 0.6.2.</a></td><td>linimon</td><td><span title='2004-05-11 05:12:34 +0800'>2004-05-11</span></td><td>3</td><td><span class='deletions'>-945</span>/<span class='insertions'>+949</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=a979af5fb84f271f50f87a10aaf67e4155a3bcdb'>Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.</a></td><td>marcus</td><td><span title='2004-02-04 13:10:27 +0800'>2004-02-04</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=249bd3cd229cb6929b78711ad0ebf48c3b92d564'>SIZEify.</a></td><td>trevor</td><td><span title='2004-01-30 00:13:06 +0800'>2004-01-30</span></td><td>1</td><td><span class='deletions'>-0</span>/<span class='insertions'>+2</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=c33cada7175952a68d5ea1fd2a70ed2b3d3cf33b'>Set maintainer mkm@ieee.org to ports@FreeBSD.org</a></td><td>edwin</td><td><span title='2003-11-04 12:39:11 +0800'>2003-11-04</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=8f4ae566c9913131b17559d8dc06b26363362258'>De-pkg-comment.</a></td><td>knu</td><td><span title='2003-02-21 22:19:11 +0800'>2003-02-21</span></td><td>2</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=ae2ac1f1385ec4dc8d1f157701cc7496ebe75024'>Somehow, a number of X11-related directories snuck into the @dirrm</a></td><td>adamw</td><td><span title='2003-01-03 02:54:51 +0800'>2003-01-03</span></td><td>2</td><td><span class='deletions'>-149</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/x11-themes/fvwm-themes?h=gnome-3.24&amp;id=810ba8c5b7756844bb84becb4e067697bbc9fe9e'>upgrade to 0.6.1</a></td><td>ijliao</td><td><span title='2002-10-13 17:28:49 +0800'>2002-10-13</span>