Control: reassign -1 src:coq-doc 8.15.1-1 Control: forwarded -1 https://github.com/coq/coq/pull/16193
Hi Julien! On Sat, Jun 11, 2022 at 09:16:50AM +0200, julien.pu...@gmail.com wrote: > reassign #1012019 sphinx 4.5.0 > affects #1012019 coq-doc > forwarded #1012019 https://github.com/sphinx-doc/sphinx/issues/10332 > thanks > > Hi, > > the problem with coq-doc actually stems from a sphinx 4.5.0 issue with > latex: https://github.com/sphinx-doc/sphinx/issues/10332 Actually the issue is in coq-doc because it's monkey-patching one of Sphinx methods, and the code is based on old version of Sphinx. I submitted a pull request upstream to rebase the monkey-patched version on top of the new version of that method (see Forwarded link). With that patch coq-doc builds successfully. So reassigning back to coq-doc. -- Dmitry Shachnev
signature.asc
Description: PGP signature