Date: Wed, 5 Jun 2013 14:12:59 +0000 (UTC) From: Baptiste Daroussin <bapt@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r319994 - head/math/isabelle Message-ID: <201306051412.r55ECx5A013336@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: bapt Date: Wed Jun 5 14:12:59 2013 New Revision: 319994 URL: http://svnweb.freebsd.org/changeset/ports/319994 Log: Push the DOCS test into the right section Modified: head/math/isabelle/Makefile Modified: head/math/isabelle/Makefile ============================================================================== --- head/math/isabelle/Makefile Wed Jun 5 14:11:19 2013 (r319993) +++ head/math/isabelle/Makefile Wed Jun 5 14:12:59 2013 (r319994) @@ -8,10 +8,6 @@ MASTER_SITES= http://isabelle.in.tum.de/ 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201306051412.r55ECx5A013336>