git: d5e59eb86b16 - main - math/givaro: unbreak DOCS building (+)

From: Dima Panov <fluffy_at_FreeBSD.org>
Date: Mon, 16 Jan 2023 19:41:38 UTC 
The branch main has been updated by fluffy:

URL: https://cgit.FreeBSD.org/ports/commit/?id=d5e59eb86b1636d8b67d56be5715fd7c616ae67a

commit d5e59eb86b1636d8b67d56be5715fd7c616ae67a
Author:     Dima Panov <fluffy@FreeBSD.org>
AuthorDate: 2023-01-16 19:40:56 +0000
Commit:     Dima Panov <fluffy@FreeBSD.org>
CommitDate: 2023-01-16 19:40:56 +0000

    math/givaro: unbreak DOCS building (+)
    
    Approved by:    portmgr blanket (build fix)
---
 math/givaro/Makefile  | 5 +++--
 math/givaro/pkg-plist | 2 +-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/math/givaro/Makefile b/math/givaro/Makefile
index 04bcc78ef52f..77311cc3694f 100644
--- a/math/givaro/Makefile
+++ b/math/givaro/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	givaro
 PORTVERSION=	4.1.1
 DISTVERSIONPREFIX=v
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	math
 
 MAINTAINER=	pi@FreeBSD.org
@@ -24,12 +24,13 @@ 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 \
 			dot:graphics/graphviz
 DOCS_CONFIGURE_ON=	--enable-doc --with-docdir=${DOCSDIR}
+DOCS_USE=		TEX=base:build,dvipsk:build,latex:build,pdftex:build
 
 post-install-DOCS-on:
 	${RMDIR} ${STAGEDIR}${DOCSDIR}/givaro-dev-html
diff --git a/math/givaro/pkg-plist b/math/givaro/pkg-plist
index e71395bf8125..896131553393 100644
--- a/math/givaro/pkg-plist
+++ b/math/givaro/pkg-plist
@@ -1,4 +1,4 @@
-@comment %%PORTDOCS%%%%DOCSDIR%%/givaro.html
+%%PORTDOCS%%%%DOCSDIR%%/givaro.html
 bin/givaro-config
 bin/givaro-makefile
 include/givaro-config.h