diff options
Diffstat (limited to 'math/isabelle/Makefile')
| -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} |