From owner-svn-ports-head@FreeBSD.ORG  Wed Jun  5 14:13:00 2013
Return-Path: <owner-svn-ports-head@FreeBSD.ORG>
Delivered-To: svn-ports-head@freebsd.org
Received: from mx1.freebsd.org (mx1.FreeBSD.org [8.8.178.115])
 by hub.freebsd.org (Postfix) with ESMTP id 289B93DA;
 Wed,  5 Jun 2013 14:13:00 +0000 (UTC)
 (envelope-from bapt@FreeBSD.org)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 by mx1.freebsd.org (Postfix) with ESMTP id 19FC51BBD;
 Wed,  5 Jun 2013 14:13:00 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id r55ECxIg013337;
 Wed, 5 Jun 2013 14:12:59 GMT (envelope-from bapt@svn.freebsd.org)
Received: (from bapt@localhost)
 by svn.freebsd.org (8.14.7/8.14.5/Submit) id r55ECx5A013336;
 Wed, 5 Jun 2013 14:12:59 GMT (envelope-from bapt@svn.freebsd.org)
Message-Id: <201306051412.r55ECx5A013336@svn.freebsd.org>
From: Baptiste Daroussin <bapt@FreeBSD.org>
Date: Wed, 5 Jun 2013 14:12:59 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r319994 - head/math/isabelle
X-SVN-Group: ports-head
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-head@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: SVN commit messages for the ports tree for head
 <svn-ports-head.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-head>
List-Post: <mailto:svn-ports-head@freebsd.org>
List-Help: <mailto:svn-ports-head-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 05 Jun 2013 14:13:00 -0000

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