Adam Weinberger bdeb856151 Add DOCS to OPTIONS for ports that have PORTDOCS in the plist.		2014-07-15 23:30:05 +00:00
..
files
distinfo	Update to 2.12 [1]	2014-06-15 10:26:46 +00:00
Makefile	Add DOCS to OPTIONS for ports that have PORTDOCS in the plist.	2014-07-15 23:30:05 +00:00
pkg-descr
pkg-plist	Update to 2.12 [1]	2014-06-15 10:26:46 +00:00