Synopsis: Please, pull up the doc option from wip/coq into lang/coq Responsible-Changed-From-To: pkg-manager->jaapb Responsible-Changed-By: jaapb%NetBSD.org@localhost Responsible-Changed-When: Fri, 02 Nov 2012 17:03:17 +0000 Responsible-Changed-Why: I'll handle this.