svn commit: r367220 - head/math/coq

[Antoine Brodin]

Author: antoine
Date: Wed Sep  3 16:54:55 2014
New Revision: 367220
URL: http://svnweb.freebsd.org/changeset/ports/367220
QAT: https://qat.redports.org/buildarchive/r367220/

Log:
  Fix packaging

Modified:
  head/math/coq/Makefile

Modified: head/math/coq/Makefile
==============================================================================
--- head/math/coq/Makefile	Wed Sep  3 16:54:23 2014	(r367219)
+++ head/math/coq/Makefile	Wed Sep  3 16:54:55 2014	(r367220)
@@ -39,6 +39,10 @@ DOCS_BUILD_DEPENDS=	hevea:${PORTSDIR}/te
 DOCS_CONFIGURE_OFF=	--with-doc none
 PORTDOCS=		*
 
+# Workaround bsd.ocaml.mk to fix packaging
+add-plist-post:
+	@${DO_NADA}
+
 .include <bsd.port.pre.mk>
 
 .if ${ARCH} == "powerpc"