diff options
| author | Volker Stolz <vs@FreeBSD.org> | 2005-01-18 16:44:23 +0000 |
|---|---|---|
| committer | Volker Stolz <vs@FreeBSD.org> | 2005-01-18 16:44:23 +0000 |
| commit | 951f10473d20eb2ac12c838344610e795cc03d20 (patch) | |
| tree | 49228d4e432f2d9b8e92adad476fc3444d101474 /math | |
| parent | Update to 0.3007 (diff) | |
Fix packaging
PR: ports/75787
Submitted by: maintainer
Notes
Notes:
svn path=/head/; revision=126726
Diffstat (limited to 'math')
| -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 |