pkgsrc-Bugs archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

pkg/47152: Please, pull up the doc option from wip/coq into lang/coq

>Number:         47152
>Category:       pkg
>Synopsis:       Please, pull up the doc option from wip/coq into lang/coq
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    pkg-manager
>State:          open
>Class:          change-request
>Submitter-Id:   net
>Arrival-Date:   Fri Nov 02 14:55:00 +0000 2012
>Release:        NetBSD 6.0
System: NetBSD nguest 6.0 NetBSD 6.0 (GENERIC) amd64
Architecture: amd64
Machine: amd64
        The only useful thing in the wip/coq package versus the lang/coq 
package is
the addition of the file with the doc option. It would be good to
break out the COQIDE_TYPE and PKG_OPTIONS.coq into a separate file
with the doc option from wip/coq/ added. I believe that the PLIST.doc
file would contain the:


entries from PLIST. Haven't tested this, though.
        See the inutility in the wip/coq package.
        Sorry, i would provide patches for this, but i see that it has been 
since 2012Q3. These changes are trivial nonetheless. Once they are commited, i
will delete the wip/coq package.

Home | Main Index | Thread Index | Old Index