diff options
| author | coqbot-app[bot] | 2020-09-11 19:56:35 +0000 |
|---|---|---|
| committer | GitHub | 2020-09-11 19:56:35 +0000 |
| commit | 5b62a6908202eef2c40d2f4989d8d21d0f6c3e16 (patch) | |
| tree | 5d743509e0606149b050009758a8a4a5b4a3ac9c /doc/changelog | |
| parent | e1a8da8b83aa3ae96ac05c2bc6606aa0719aa64f (diff) | |
| parent | 795af932ef6606ba8385448244f60c728e9abdbd (diff) | |
Merge PR #13011: Minimal changes to make the refman compatible with Sphinx 3.
Reviewed-by: cpitclaudel
Reviewed-by: jfehrle
Ack-by: Zimmi48
Diffstat (limited to 'doc/changelog')
| -rw-r--r-- | doc/changelog/11-infrastructure-and-dependencies/13011-sphinx-3.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/changelog/11-infrastructure-and-dependencies/13011-sphinx-3.rst b/doc/changelog/11-infrastructure-and-dependencies/13011-sphinx-3.rst new file mode 100644 index 0000000000..d17a2dff6b --- /dev/null +++ b/doc/changelog/11-infrastructure-and-dependencies/13011-sphinx-3.rst @@ -0,0 +1,5 @@ +- **Fixed:** + The reference manual can now build with Sphinx 3 + (`#13011 <https://github.com/coq/coq/pull/13011>`_, + fixes `#12332 <https://github.com/coq/coq/issues/12332>`_, + by Théo Zimmermann and Jim Fehrle). |