diff options
| author | adamw <adamw@FreeBSD.org> | 2014-07-16 07:30:05 +0800 |
|---|---|---|
| committer | adamw <adamw@FreeBSD.org> | 2014-07-16 07:30:05 +0800 |
| commit | 664628fe1271a3052d6fd5d6f32b5de28a849018 (patch) | |
| tree | e962c6543fdab0f842a6d242127e735d0347e99c /emulators/gns3 | |
| parent | 9343eeba7783ac2ce4c8f5c88ab322647d489c19 (diff) | |
| download | freebsd-ports-gnome-664628fe1271a3052d6fd5d6f32b5de28a849018.tar.gz freebsd-ports-gnome-664628fe1271a3052d6fd5d6f32b5de28a849018.tar.zst freebsd-ports-gnome-664628fe1271a3052d6fd5d6f32b5de28a849018.zip | |
Add DOCS to OPTIONS for ports that have PORTDOCS in the plist.
Diffstat (limited to 'emulators/gns3')
| -rw-r--r-- | emulators/gns3/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/emulators/gns3/Makefile b/emulators/gns3/Makefile index c7e74e8dfa3e..cad07243d163 100644 --- a/emulators/gns3/Makefile +++ b/emulators/gns3/Makefile @@ -27,6 +27,8 @@ PYDISTUTILS_PKGNAME= GNS3 DESKTOP_ENTRIES= "GNS3" "${COMMENT}" "" "${PORTNAME}" "System;Emulator;" true +OPTIONS_DEFINE= DOCS + post-patch: @${REINPLACE_CMD} -e 's|/usr/local|${PREFIX}|g' -e 's|/share/man|/man|g' ${WRKSRC}/setup.py |