Enrico Tassi (Jan 05 2021 at 15:21): 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" ]
Ah. Thanks for finding the fix. Can you open a PR with it?
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 ;-)
Enrico Tassi (Jan 05 2021 at 15:38):(I can't say I keep my local python clean)
Enrico Tassi (Jan 05 2021 at 15:38):I had half of the packages there, some not...
Enrico Tassi (Jan 05 2021 at 15:38):but I guess an extra variable won't be a problem
Enrico Tassi (Jan 05 2021 at 15:43):done
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: Jun 05 2023 at 09:01 UTC