diff options
| author | bapt <bapt@FreeBSD.org> | 2013-06-05 22:12:59 +0800 |
|---|---|---|
| committer | bapt <bapt@FreeBSD.org> | 2013-06-05 22:12:59 +0800 |
| commit | 6f99e0d20e4b2b647e053e828a99d3e500028c62 (patch) | |
| tree | c9f26d3394b5a5e1ef90d8f798a92d5d841e2af9 | |
| parent | 49f50835980cbddf01e3c6bea7a308f6045d8690 (diff) | |
| download | freebsd-ports-gnome-6f99e0d20e4b2b647e053e828a99d3e500028c62.tar.gz freebsd-ports-gnome-6f99e0d20e4b2b647e053e828a99d3e500028c62.tar.zst freebsd-ports-gnome-6f99e0d20e4b2b647e053e828a99d3e500028c62.zip | |
Push the DOCS test into the right section
| -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 |