Dmitry Marakasov 9d2c0f6034 - Fix build with DOCS disabled (port tried to install nonexistent distfiles) ...

- Switch to options helpers

Approved by:	portmgr blanket

2015-08-27 16:49:06 +00:00

..

files

…

distinfo

…

Makefile

- Fix build with DOCS disabled (port tried to install nonexistent distfiles)

2015-08-27 16:49:06 +00:00

pkg-descr

…

pkg-plist

…