From 65565041d31a3c669eb3fc4ed4784226b297c362 Mon Sep 17 00:00:00 2001
From: Antoine Brodin <antoine@FreeBSD.org>
Date: Wed, 3 Sep 2014 16:54:55 +0000
Subject: Fix packaging
---
math/coq/Makefile | 4 ++++
1 file changed, 4 insertions(+)
(limited to 'math/coq')
diff --git a/math/coq/Makefile b/math/coq/Makefile
index 97a0978d09b1..7970cea0b3ea 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -39,6 +39,10 @@ DOCS_BUILD_DEPENDS= hevea:${PORTSDIR}/textproc/hevea
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"
--
cgit debian/1.2.3+git2.25.1-1-2-gaceb0