diff options
| author | antoine <antoine@FreeBSD.org> | 2014-09-04 00:54:55 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2014-09-04 00:54:55 +0800 |
| commit | 7de5d9841b4a0b91ffd843a0893f744b1fbbd055 (patch) | |
| tree | 5d7e418a1065f60eac330511c7525d9472ee30cb | |
| parent | 99c104386361f76732b1ae7d61400be64e7870fc (diff) | |
| download | freebsd-ports-gnome-7de5d9841b4a0b91ffd843a0893f744b1fbbd055.tar.gz freebsd-ports-gnome-7de5d9841b4a0b91ffd843a0893f744b1fbbd055.tar.zst freebsd-ports-gnome-7de5d9841b4a0b91ffd843a0893f744b1fbbd055.zip | |
Fix packaging
| -rw-r--r-- | math/coq/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
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" |