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

…

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

- Use new options framework

2013-12-10 11:56:41 +00:00