aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--devel/robodoc/Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/robodoc/Makefile b/devel/robodoc/Makefile
index b2720f1b1ec1..96fbd1b9eafb 100644
--- a/devel/robodoc/Makefile
+++ b/devel/robodoc/Makefile
@@ -14,11 +14,11 @@ LICENSE_FILE= ${WRKSRC}/COPYING
GNU_CONFIGURE= yes
MAKEFILE= makefile
-DOCS_FILES= AUTHORS ChangeLog NEWS README \
- Docs/manual.html Docs/manual.css Docs/robodoc_example.rc
-
OPTIONS_DEFINE= DOCS EXAMPLES
+DOCS_FILES= AUTHORS ChangeLog NEWS README Docs/manual.html Docs/manual.css \
+ Docs/robodoc_example.rc
+
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/Source/robodoc ${STAGEDIR}${PREFIX}/bin
${INSTALL_PROGRAM} ${WRKSRC}/Source/robohdrs ${STAGEDIR}${PREFIX}/bin