From r.c.ladan@student.tue.nl  Tue Jan  4 10:47:44 2005
Return-Path: <r.c.ladan@student.tue.nl>
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id A519516A4CE
	for <FreeBSD-gnats-submit@freebsd.org>; Tue,  4 Jan 2005 10:47:44 +0000 (GMT)
Received: from 82-168-140-74-bbxl.xdsl.tiscali.nl (82-168-140-74-bbxl.xdsl.tiscali.nl [82.168.140.74])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 8091C43D4C
	for <FreeBSD-gnats-submit@freebsd.org>; Tue,  4 Jan 2005 10:47:43 +0000 (GMT)
	(envelope-from r.c.ladan@student.tue.nl)
Received: from 82-168-140-74-bbxl.xdsl.tiscali.nl (localhost [127.0.0.1])
	by 82-168-140-74-bbxl.xdsl.tiscali.nl (8.13.1/8.13.1) with ESMTP id j04AnZWW011546
	for <FreeBSD-gnats-submit@freebsd.org>; Tue, 4 Jan 2005 11:49:35 +0100 (CET)
	(envelope-from r.c.ladan@student.tue.nl)
Received: (from rene@localhost)
	by 82-168-140-74-bbxl.xdsl.tiscali.nl (8.13.1/8.13.1/Submit) id j04AnZnT011545;
	Tue, 4 Jan 2005 11:49:35 +0100 (CET)
	(envelope-from r.c.ladan@student.tue.nl)
Message-Id: <200501041049.j04AnZnT011545@82-168-140-74-bbxl.xdsl.tiscali.nl>
Date: Tue, 4 Jan 2005 11:49:35 +0100 (CET)
From: Rene Ladan <r.c.ladan@student.tue.nl>
Reply-To: Rene Ladan <r.c.ladan@student.tue.nl>
To: FreeBSD-gnats-submit@freebsd.org
Cc:
Subject: [maintainer-update] math/coq : fix pkg-plist
X-Send-Pr-Version: 3.113
X-GNATS-Notify:

>Number:         75787
>Category:       ports
>Synopsis:       [maintainer-update] math/coq : fix pkg-plist
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    vs
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Tue Jan 04 10:50:12 GMT 2005
>Closed-Date:    Tue Jan 18 16:44:54 GMT 2005
>Last-Modified:  Tue Jan 18 16:44:54 GMT 2005
>Originator:     Rene Ladan
>Release:        FreeBSD 5.3-STABLE i386
>Organization:
>Environment:
System: FreeBSD 82-168-140-74-bbxl.xdsl.tiscali.nl 5.3-STABLE FreeBSD 5.3-STABLE #4: Sun Jan 2 16:07:27 CET 2005 root@82-168-140-74-bbxl.xdsl.tiscali.nl:/usr/obj/usr/src/sys/RENE i386
>Description:
pointyhat listed some shared directories which must be @dirrm'd too
>How-To-Repeat:
apply patch
>Fix:
--- math/coq/pkg-plist.old	Tue Jan  4 11:42:49 2005
+++ math/coq/pkg-plist	Tue Jan  4 11:44:34 2005
@@ -517,6 +517,10 @@
 share/emacs/site-lisp/coq-inferior.el
 share/emacs/site-lisp/coq.el
 share/texmf/tex/latex/misc/coqdoc.sty
+@dirrm share/texmf/tex/latex/misc
+@dirrm share/texmf/tex/latex
+@dirrm share/texmf/tex
+@dirrm share/texmf
 %%PORTDOCS%%%%DOCSDIR%%/CHANGES
 %%PORTDOCS%%%%DOCSDIR%%/COPYRIGHT
 %%PORTDOCS%%%%DOCSDIR%%/CREDITS
>Release-Note:
>Audit-Trail:
State-Changed-From-To: open->feedback 
State-Changed-By: vs 
State-Changed-When: Tue Jan 18 12:51:03 GMT 2005 
State-Changed-Why:  
Since LaTeX will generally still be around ITYM: 
+@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 

Is this okay? Another suggestion to save some logic: 
--- Makefile    20 Dec 2004 21:37:52 -0000      1.4 
+++ Makefile    18 Jan 2005 12:53:28 -0000 
@@ -29,6 +29,8 @@ 

ALL_TARGET=    world 

+PORTDOCS=      CHANGES COPYRIGHT CREDITS INSTALL LICENSE README 
+ 
.include <bsd.port.pre.mk> 

.if ${ARCH} == "ia64" 
@@ -50,7 +52,7 @@ 
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 

This means you could remove the %%PORTDOCS%%-lines entirely from pkg-plist... 


Responsible-Changed-From-To: freebsd-ports-bugs->vs 
Responsible-Changed-By: vs 
Responsible-Changed-When: Tue Jan 18 12:51:03 GMT 2005 
Responsible-Changed-Why:  
I'll track this 

http://www.freebsd.org/cgi/query-pr.cgi?pr=75787 
State-Changed-From-To: feedback->closed 
State-Changed-By: vs 
State-Changed-When: Tue Jan 18 16:44:36 GMT 2005 
State-Changed-Why:  
Committed with modifications as discussed, thanks! 

http://www.freebsd.org/cgi/query-pr.cgi?pr=75787 
>Unformatted:
