diff options
| author | antoine <antoine@FreeBSD.org> | 2014-08-19 03:13:18 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2014-08-19 03:13:18 +0800 |
| commit | d3e7a5ff8eba4bee29838608d81b1f74791db1b4 (patch) | |
| tree | 084a3ff0af921b622a1b95e501fdbf510ab133e4 /math | |
| parent | 843df4fed72418aa159054cd22d9d394eb3c0728 (diff) | |
| download | freebsd-ports-gnome-d3e7a5ff8eba4bee29838608d81b1f74791db1b4.tar.gz freebsd-ports-gnome-d3e7a5ff8eba4bee29838608d81b1f74791db1b4.tar.zst freebsd-ports-gnome-d3e7a5ff8eba4bee29838608d81b1f74791db1b4.zip | |
Convert most NO_INSTALL_MANPAGES to USES=imake:noman
With hat: portmgr
Diffstat (limited to 'math')
| -rw-r--r-- | math/isabelle/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index 359301e299d9..c491e71f2f3b 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -132,8 +132,6 @@ BUILD_DEPENDS+= polyml>=5.2.1:${PORTSDIR}/lang/polyml RUN_DEPENDS+= polyml>=5.2.1:${PORTSDIR}/lang/polyml .endif -NO_INSTALL_MANPAGES=yes - post-extract: @${CP} ${FILESDIR}/Makefile ${WRKSRC} |