aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--math/givaro/Makefile2
-rw-r--r--math/givaro/pkg-plist2
2 files changed, 2 insertions, 2 deletions
diff --git a/math/givaro/Makefile b/math/givaro/Makefile
index fb96f4f2c7af..575b17719e11 100644
--- a/math/givaro/Makefile
+++ b/math/givaro/Makefile
@@ -23,7 +23,7 @@ TEST_TARGET= check
USE_GITHUB= yes
GH_ACCOUNT= linbox-team
-OPTIONS_DEFINE= DOCS
+#OPTIONS_DEFINE= DOCS
OPTIONS_SUB= yes
DOCS_BUILD_DEPENDS= doxygen:devel/doxygen \
diff --git a/math/givaro/pkg-plist b/math/givaro/pkg-plist
index 896131553393..e71395bf8125 100644
--- a/math/givaro/pkg-plist
+++ b/math/givaro/pkg-plist
@@ -1,4 +1,4 @@
-%%PORTDOCS%%%%DOCSDIR%%/givaro.html
+@comment %%PORTDOCS%%%%DOCSDIR%%/givaro.html
bin/givaro-config
bin/givaro-makefile
include/givaro-config.h