commit:     157d3bc6f5e221bd738592ab82289ad8e081a6ca
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 18 15:11:19 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Feb 18 15:11:25 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=157d3bc6

sci-mathematics/coq: fix doc build - add missing fonts

Closes: https://bugs.gentoo.org/833589
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/coq/coq-8.15.0-r2.ebuild | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sci-mathematics/coq/coq-8.15.0-r2.ebuild 
b/sci-mathematics/coq/coq-8.15.0-r2.ebuild
index 6e7105bc79cc..4bf8c498ab4d 100644
--- a/sci-mathematics/coq/coq-8.15.0-r2.ebuild
+++ b/sci-mathematics/coq/coq-8.15.0-r2.ebuild
@@ -40,8 +40,10 @@ BDEPEND="
                dev-python/sphinx_rtd_theme
                dev-python/sphinxcontrib-bibtex
                dev-tex/latexmk
+               dev-texlive/texlive-fontsextra
                dev-texlive/texlive-latexextra
                dev-texlive/texlive-xetex
+               media-fonts/freefont
        )
 "
 

Reply via email to