diff options
Diffstat (limited to 'devel/aifad/Makefile')
| -rw-r--r-- | devel/aifad/Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/devel/aifad/Makefile b/devel/aifad/Makefile index d94ad1b4aeb9..d5c5f87e59d8 100644 --- a/devel/aifad/Makefile +++ b/devel/aifad/Makefile @@ -23,10 +23,6 @@ NO_OCAML_RUNDEPENDS=yes HAS_CONFIGURE= yes CONFIGURE_ARGS= --prefix ${STAGEDIR}${PREFIX} -PORTDOCS= * -PORTEXAMPLES= * -PLIST_FILES= bin/${PORTNAME} - OPTIONS_DEFINE= DOCS EXAMPLES post-install: |