diff --git a/devel/subversion-book/Makefile b/devel/subversion-book/Makefile
index 12f74a766cbb..e6b072961ca9 100644
--- a/devel/subversion-book/Makefile
+++ b/devel/subversion-book/Makefile
@@ -19,11 +19,14 @@ USES=	tar:bzip2
 NO_BUILD=	yes
 
 OPTIONS_SUB=		yes
-OPTIONS_DEFINE=		HTML_SINGLE PDF
+OPTIONS_DEFINE=		DOCS HTML_SINGLE PDF
 OPTIONS_DEFAULT=	HTML_SINGLE
 
 HTML_SINGLE_DESC=	Single HTML page edition
 PDF_DESC=		PDF edition
+
+HTML_SINGLE_IMPLIES=	DOCS
+PDF_IMPLIES=		DOCS
 HTML_SINGLE_DISTFILES=	svn-book-html-r${DISTVERSION}.tar.bz2
 PDF_DISTFILES=		svn-book-r${DISTVERSION}.pdf