From 951f10473d20eb2ac12c838344610e795cc03d20 Mon Sep 17 00:00:00 2001 From: Volker Stolz Date: Tue, 18 Jan 2005 16:44:23 +0000 Subject: [PATCH] Fix packaging PR: ports/75787 Submitted by: maintainer --- math/coq/Makefile | 4 +++- 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 .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