diff options
| author | vs <vs@FreeBSD.org> | 2005-01-19 00:44:23 +0800 |
|---|---|---|
| committer | vs <vs@FreeBSD.org> | 2005-01-19 00:44:23 +0800 |
| commit | 75730896a47584657e7a6c1b3aed4ea1865872b9 (patch) | |
| tree | 4997d55e26abb9ff576bb8f0ea4d2149ebcc4b12 /math/coq | |
| parent | 6978b2dece887fdbefb2e17e6b70f999bf695c7a (diff) | |
| download | freebsd-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/coq')
| -rw-r--r-- | math/coq/Makefile | 4 | ||||
| -rw-r--r-- | math/coq/pkg-plist | 11 |
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 |