Subject: CVS commit: pkgsrc/lang/coq
From: Jaap Boender
Date: 2012-11-16 15:44:22
Message id: 20121116144422.7325E175DD@cvs.netbsd.org
Log Message:
Updated package to add 'doc' option and (if given) build documentation, as
requested in PR pkg/47152. Bumped PKGREVISION.
Files:
RevisionActionfile
1.52modifypkgsrc/lang/coq/Makefile
1.13modifypkgsrc/lang/coq/PLIST
1.1addpkgsrc/lang/coq/options.mk