Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 4 Jan 2005 11:49:35 +0100 (CET)
From:      Rene Ladan <r.c.ladan@student.tue.nl>
To:        FreeBSD-gnats-submit@FreeBSD.org
Subject:   ports/75787: [maintainer-update] math/coq : fix pkg-plist
Message-ID:  <200501041049.j04AnZnT011545@82-168-140-74-bbxl.xdsl.tiscali.nl>
Resent-Message-ID: <200501041050.j04AoCoe014099@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help

>Number:         75787
>Category:       ports
>Synopsis:       [maintainer-update] math/coq : fix pkg-plist
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Tue Jan 04 10:50:12 GMT 2005
>Closed-Date:
>Last-Modified:
>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:
>Unformatted:



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200501041049.j04AnZnT011545>