From 1d99007bddb0f5d722e38d8cc0c80c0f1a6c75a1 Mon Sep 17 00:00:00 2001
From: Baptiste Daroussin <bapt@FreeBSD.org>
Date: Wed, 5 Jun 2013 14:12:59 +0000
Subject: [PATCH] Push the DOCS test into the right section

---
 math/isabelle/Makefile | 9 +++++----
 1 file 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