aboutsummaryrefslogtreecommitdiffstats
path: root/math
diff options
context:
space:
mode:
authorvs <vs@FreeBSD.org>2005-01-19 00:44:23 +0800
committervs <vs@FreeBSD.org>2005-01-19 00:44:23 +0800
commit75730896a47584657e7a6c1b3aed4ea1865872b9 (patch)
tree4997d55e26abb9ff576bb8f0ea4d2149ebcc4b12 /math
parent6978b2dece887fdbefb2e17e6b70f999bf695c7a (diff)
downloadfreebsd-ports-gnome-75730896a47584657e7a6c1b3aed4ea1865872b9.tar.gz
freebsd-ports-gnome-75730896a47584657e7a6c1b3aed4ea1865872b9.tar.zst
freebsd-ports-gnome-75730896a47584657e7a6c1b3aed4ea1865872b9.zip
Fix packaging
PR: ports/75787 Submitted by: maintainer
Diffstat (limited to 'math')
-rw-r--r--math/coq/Makefile4
-rw-r--r--math/coq/pkg-plist11
2 files changed, 7 insertions, 8 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile
index 54bb850851b7..0443eecf6477 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -29,6 +29,8 @@ CONFIGURE_ARGS+= --opt
ALL_TARGET= world
+PORTDOCS= CHANGES COPYRIGHT CREDITS INSTALL LICENSE README
+
.include <bsd.port.pre.mk>
.if ${ARCH} == "ia64"
@@ -50,7 +52,7 @@ MAN1= coq-interface.1 coq-tex.1 coq_makefile.1 coqc.1 coqdep.1 coqdoc.1 \
post-install:
.if !defined(NOPORTDOCS)
-@${MKDIR} ${DOCSDIR}
-.for i in CHANGES COPYRIGHT CREDITS INSTALL LICENSE README
+.for i in ${PORTDOCS}
@${INSTALL_DATA} ${WRKSRC}/${i} ${DOCSDIR}
.endfor
.endif
diff --git a/math/coq/pkg-plist b/math/coq/pkg-plist
index 23e1dbfe84ad..e1ab20fc7242 100644
--- a/math/coq/pkg-plist
+++ b/math/coq/pkg-plist
@@ -517,10 +517,7 @@ lib/coq/theories7/ZArith/zarith_aux.vo
share/emacs/site-lisp/coq-inferior.el
share/emacs/site-lisp/coq.el
share/texmf/tex/latex/misc/coqdoc.sty
-%%PORTDOCS%%%%DOCSDIR%%/CHANGES
-%%PORTDOCS%%%%DOCSDIR%%/COPYRIGHT
-%%PORTDOCS%%%%DOCSDIR%%/CREDITS
-%%PORTDOCS%%%%DOCSDIR%%/INSTALL
-%%PORTDOCS%%%%DOCSDIR%%/LICENSE
-%%PORTDOCS%%%%DOCSDIR%%/README
-%%PORTDOCS%%@dirrm %%DOCSDIR%%
+@unexec rmdir %D/share/texmf/tex/latex/misc 2>/dev/null || true
+@unexec rmdir %D/share/texmf/tex/latex 2>/dev/null || true
+@unexec rmdir %D/share/texmf/tex 2>/dev/null || true
+@unexec rmdir %D/share/texmf 2>/dev/null || true