mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00
Code Issues Releases Activity

Fix packaging

Browse Source 
PR:		ports/75787
Submitted by:	maintainer
This commit is contained in:
Volker Stolz 2005-01-18 16:44:23 +00:00
parent ce35d5d68c
commit 951f10473d
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=126726
2 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/coq/Makefile
View File

@ -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

11
math/coq/pkg-plist
View File

@ -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