Stream: Coq devs & plugin devs

Topic: build pdf manual


view this post on Zulip Enrico Tassi (Jan 05 2021 at 15:21):

FYI, I did just pip3 instal .... to build the doc and it failed, apparently recent versions of sphinxcontrib-bibtex need this https://sphinxcontrib-bibtex.readthedocs.io/en/latest/usage.html

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index e2e37ec438..3926edc36e 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -490,3 +490,5 @@ epub_exclude_files = ['search.html']

 # navtree options
 navtree_shift = True
+
+bibtex_bibfiles = [ "biblio.bib" ]

view this post on Zulip Théo Zimmermann (Jan 05 2021 at 15:37):

Ah. Thanks for finding the fix. Can you open a PR with it?

view this post on Zulip Enrico Tassi (Jan 05 2021 at 15:37):

I can do that, but I'd like a confirmation that it's not my pip3 mess ;-)

view this post on Zulip Enrico Tassi (Jan 05 2021 at 15:38):

(I can't say I keep my local python clean)

view this post on Zulip Enrico Tassi (Jan 05 2021 at 15:38):

I had half of the packages there, some not...

view this post on Zulip Enrico Tassi (Jan 05 2021 at 15:38):

but I guess an extra variable won't be a problem

view this post on Zulip Enrico Tassi (Jan 05 2021 at 15:43):

done

view this post on Zulip Théo Zimmermann (Jan 05 2021 at 15:50):

What I can confirm is that the version that I have (with our Nix file) is 1.0.0 so it explains why I didn't hit this issue. And non-Nix CI is generally testing lower bounds.


Last updated: Oct 16 2021 at 02:03 UTC