diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/isabelle/Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index fc62dd4d459f..26ebb87e036b 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -8,10 +8,6 @@ MASTER_SITES= http://isabelle.in.tum.de/dist/ \ http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ \ http://mirror.cse.unsw.edu.au/pub/isabelle/dist/ DISTNAME= Isabelle2009-2 -.if ${PORT_OPTIONS:MDOCS} -DISTFILES= ${DISTNAME}.tar.gz \ - ${DISTNAME}_library.tar.gz -.endif MAINTAINER= beyert@cs.ucr.edu COMMENT= Generic proof assistant @@ -37,6 +33,11 @@ USE_PERL5= yes .include <bsd.port.options.mk> +.if ${PORT_OPTIONS:MDOCS} +DISTFILES= ${DISTNAME}.tar.gz \ + ${DISTNAME}_library.tar.gz +.endif + .if ${PORT_OPTIONS:MEMACS_PKG} USE_EMACS= yes # for EMACS_SITE_LISPDIR EMACS_NO_BUILD_DEPENDS=yes |