diff --git a/math/givaro/Makefile b/math/givaro/Makefile
index ba924c8758a8..c6ecf18e7f7a 100644
--- a/math/givaro/Makefile
+++ b/math/givaro/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	givaro
 PORTVERSION=	4.2.0
+PORTREVISION=	1
 DISTVERSIONPREFIX=v
 CATEGORIES=	math
 
@@ -26,15 +27,16 @@ CONFIGURE_ARGS=	--with-gmp="${LOCALBASE}"
 INSTALL_TARGET=	install-strip
 TEST_TARGET=	check
 
-OPTIONS_DEFINE=	DOCS
+OPTIONS_DEFINE=	DOCS DOXYGEN
+DOXYGEN_IMPLIES=DOCS
 OPTIONS_SUB=	yes
 
-DOCS_BUILD_DEPENDS=	doxygen:devel/doxygen \
+DOXYGEN_BUILD_DEPENDS=	doxygen:devel/doxygen \
 			dot:graphics/graphviz
-DOCS_USE=		TEX=base:build,dvipsk:build,latex:build,pdftex:build
-DOCS_CONFIGURE_ON=	--enable-doc --with-docdir=${DOCSDIR}
+DOXYGEN_USE=		TEX=base:build,dvipsk:build,latex:build,pdftex:build
+DOXYGEN_CONFIGURE_ON=	--enable-doc --with-docdir=${DOCSDIR}
 
-post-install-DOCS-on:
+post-install-DOXYGEN-on:
 	${RMDIR} ${STAGEDIR}${DOCSDIR}/givaro-dev-html
 	${FIND} ${WRKSRC}/docs/givaro-html -not -type d \
 		| ${SED} -ne 's,^${WRKSRC}/docs/givaro-html,${DOCSDIR}/givaro-html,p' >> ${TMPPLIST}
diff --git a/math/givaro/pkg-plist b/math/givaro/pkg-plist
index 9439e4d032ea..e32dfb67a45d 100644
--- a/math/givaro/pkg-plist
+++ b/math/givaro/pkg-plist
@@ -1,4 +1,3 @@
-%%PORTDOCS%%%%DOCSDIR%%/givaro.html
 bin/givaro-config
 include/givaro-config.h
 include/givaro/StaticElement.h
@@ -228,4 +227,5 @@ lib/libgivaro.so
 lib/libgivaro.so.9
 lib/libgivaro.so.9.2.0
 libdata/pkgconfig/givaro.pc
+%%DOXYGEN%%%%PORTDOCS%%%%DOCSDIR%%/givaro.html
 %%DATADIR%%/givaro-makefile