diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-06-05 14:12:59 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-06-05 14:12:59 +0000 |
| commit | 1d99007bddb0f5d722e38d8cc0c80c0f1a6c75a1 (patch) | |
| tree | c9f26d3394b5a5e1ef90d8f798a92d5d841e2af9 /math | |
| parent | Convert to new options framework (diff) | |
Push the DOCS test into the right section
Notes
Notes:
svn path=/head/; revision=319994
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 |