[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
>Synopsis: Please, pull up the doc option from wip/coq into lang/coq
>Arrival-Date: Fri Nov 02 14:55:00 +0000 2012
>Release: NetBSD 6.0
System: NetBSD nguest 6.0 NetBSD 6.0 (GENERIC) amd64
The only useful thing in the wip/coq package versus the lang/coq
the addition of the options.mk file with the doc option. It would be good to
break out the COQIDE_TYPE and PKG_OPTIONS.coq into a separate options.mk file
with the doc option from wip/coq/options.mk 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.
Main Index |
Thread Index |