summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2023-04-02 13:21:06 +0200
committerAlfredo Tupone <tupone@gentoo.org>2023-04-02 13:25:29 +0200
commitec4e1dc4b0a2d93b25dc79ca3b06da2809409974 (patch)
tree1c639eacb9a5dc0062522e8a14acf115ddbae310
parentwww-apps/roundup: add 2.2.0 (diff)
downloadgentoo-ec4e1dc4b0a2d93b25dc79ca3b06da2809409974.tar.gz
gentoo-ec4e1dc4b0a2d93b25dc79ca3b06da2809409974.tar.bz2
gentoo-ec4e1dc4b0a2d93b25dc79ca3b06da2809409974.zip
profiles/base: mask doc for sci-mathematics/why3-for-spark
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
-rw-r--r--profiles/base/package.use.stable.mask4
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/base/package.use.stable.mask b/profiles/base/package.use.stable.mask
index a431476297e3..88f8c4fb49df 100644
--- a/profiles/base/package.use.stable.mask
+++ b/profiles/base/package.use.stable.mask
@@ -4,6 +4,10 @@
# This file requires eapi 5 or later. New entries go on top.
# Please use the same syntax as in package.use.mask
+# Alfredo Tupone <tupone@gentoo.org> (2023-04-02)
+# For doc, dev-python/sphinxcontrib-bibtex is required
+sci-mathematics/why3-for-spark doc
+
# Daniel Pielmeier <billie@gentoo.org> (2023-03-04)
# For docs, app-text/pandoc is required. For details see:
# Bug #737612