diff options
author | Antoine Brodin <antoine@FreeBSD.org> | 2014-08-18 19:13:18 +0000 |
---|---|---|
committer | Antoine Brodin <antoine@FreeBSD.org> | 2014-08-18 19:13:18 +0000 |
commit | 1c6ed8eca3fd323ad84584b083ec5246b4f5cc34 (patch) | |
tree | 084a3ff0af921b622a1b95e501fdbf510ab133e4 /math/isabelle | |
parent | 1d085932a2bc53e47470d2ff07242dd9e96d1409 (diff) | |
download | ports-1c6ed8eca3fd323ad84584b083ec5246b4f5cc34.tar.gz ports-1c6ed8eca3fd323ad84584b083ec5246b4f5cc34.zip |
Notes
Diffstat (limited to 'math/isabelle')
-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} |