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