Stream: Coq devs & plugin devs

Topic: coq doc build failure


view this post on Zulip Julien Puydt (Mar 30 2022 at 07:39):

I have issues building the documentation, with the following error message:

Warning, treated as error:
/<<PKGBUILDDIR>>/_build/default/doc/sphinx/index.rst:45:toctree contains reference to document 'zebibliography' that doesn't have a title: no link will be generated

view this post on Zulip Julien Puydt (Mar 30 2022 at 07:51):

(sphinx-build is 4.3.2)

view this post on Zulip Gaëtan Gilbert (Mar 30 2022 at 13:25):

we test sphinx 3.0.2 in CI

view this post on Zulip Théo Zimmermann (Mar 30 2022 at 13:56):

I've seen this before, but I don't remember exactly what the cause was. Maybe if you restart the build it works.

view this post on Zulip Théo Zimmermann (Mar 30 2022 at 13:57):

BTW, I think we also test Sphinx 4.4.0 as part of the Nix CI.

view this post on Zulip Julien Puydt (Mar 30 2022 at 14:04):

I removed the -W flag to get through... but that definitely isn't satisfying.


Last updated: Feb 01 2023 at 14:03 UTC