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

[diro%nixsyspaus.org@localhost]

>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
>Originator:     diro%nixsyspaus.org@localhost
>Release:        NetBSD 6.0
>Organization:
>Environment:
System: NetBSD nguest 6.0 NetBSD 6.0 (GENERIC) amd64
Architecture: amd64
Machine: amd64
>Description:
        The only useful thing in the wip/coq package versus the lang/coq 
package is
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:

bin/coqdoc
lib/coq/tools/coqdoc/coqdoc.css
lib/coq/tools/coqdoc/coqdoc.sty
man/man1/coqdoc.1
share/emacs/site-lisp/coqdoc.sty

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