svn commit: r396096 - head/math/proofgeneral

[Dmitry Marakasov]

Author: amdmi3
Date: Fri Sep  4 14:26:05 2015
New Revision: 396096
URL: https://svnweb.freebsd.org/changeset/ports/396096

Log:
  - Add NO_ARCH
  - Don't install empty docdirs
  
  Approved by:	portmgr blanket

Modified:
  head/math/proofgeneral/Makefile

Modified: head/math/proofgeneral/Makefile
==============================================================================
--- head/math/proofgeneral/Makefile	Fri Sep  4 14:06:05 2015	(r396095)
+++ head/math/proofgeneral/Makefile	Fri Sep  4 14:26:05 2015	(r396096)
@@ -20,8 +20,9 @@ RUN_DEPENDS=	${LOCALBASE}/share/icons/hi
 
 USE_EMACS=	yes
 INSTALLS_ICONS=	yes
-USES=	gmake perl5 shebangfix tar:tgz
+USES=		gmake perl5 shebangfix tar:tgz
 SHEBANG_FILES=	lego/legotags coq/coqtags isar/isartags
+NO_ARCH=	yes
 
 .include <bsd.port.pre.mk>
 
@@ -51,8 +52,8 @@ BUILD_DEPENDS+=	texi2html:${PORTSDIR}/te
 .endif
 
 PORTDOCS=	AUTHORS BUGS CHANGES COMPATIBILITY COPYING INSTALL \
-		PG-adapting ProofGeneral README REGISTER acl2 hol98 isar lclam lego \
-		pgshell phox plastic twelf
+		PG-adapting ProofGeneral README REGISTER acl2 hol98 isar lego \
+		pgshell phox twelf
 
 post-patch:
 	@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \
@@ -74,4 +75,7 @@ pre-build:
 	@${RM} ${WRKSRC}/.byte-compile || ${TRUE}
 #.endif
 
+post-install:
+	@${FIND} ${STAGEDIR}${DOCSDIR} -type d -empty -delete
+
 .include <bsd.port.post.mk>