Skip site navigation (1)Skip section navigation (2)
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>