[gentoo-commits] repo/gentoo:master commit in: profiles/arch/powerpc/ppc32/

["Maciej Barć" <xgqt@gentoo.org>]

commit:     ae6f5f7b48a1a4ff88a722dd514bb31f012c54bb
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 10 21:05:19 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Mar 10 21:08:35 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ae6f5f7b

profiles/arch/powerpc/ppc32: mask >=sci-mathematics/coq-8.15.0[doc]

Bug: https://bugs.gentoo.org/750956
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 profiles/arch/powerpc/ppc32/package.use.mask | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/profiles/arch/powerpc/ppc32/package.use.mask b/profiles/arch/powerpc/ppc32/package.use.mask
index 00fe5d19a2df..3f2cfd9422ea 100644
--- a/profiles/arch/powerpc/ppc32/package.use.mask
+++ b/profiles/arch/powerpc/ppc32/package.use.mask
@@ -1,6 +1,12 @@
 # Copyright 1999-2022 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
+# Maciej Barć <xgqt@gentoo.org> (2022-03-10)
+# Java and Tex dependencies required to build documentation are not keyworded,
+# notably dev-java/antlr-tool and dev-python/sphinxcontrib-bibtex.
+# Reference: bug 750956
+>=sci-mathematics/coq-8.15.0 doc
+
 # Sam James <sam@gentoo.org> (2022-03-10)
 # Boost has support for PPC32
 # https://www.boost.org/doc/libs/1_78_0/libs/context/doc/html/context/architectures.html