svn commit: r319994 - head/math/isabelle

[Baptiste Daroussin]

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 at 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