Andres Noetzli ad425c0bc9 [Docs] Update EnumDocumenter for newer Sphinx (#8914) ...

The `no_docstring` argument of
`sphinx.ext.autodoc.Documenter.add_content()` has been
[deprecated](https://www.sphinx-doc.org/en/master/changes.html) since
Sphinx 3.4.0 (released in December 2020). It seems that newer Sphinx
versions have removed that argument, which breaks our `EnumDocumenter`
(e.g., see the following
[example](https://github.com/cvc5/cvc5/runs/7081097179?check_suite_focus=true)).
This commit updates our use of
`sphinx.ext.autodoc.Documenter.add_content()`.

2022-06-27 21:57:05 +00:00

..

.gitignore

Add API documentation for statistics (#6364)

2021-04-22 19:38:57 +00:00

autoenum.py

[Docs] Update EnumDocumenter for newer Sphinx (#8914)

2022-06-27 21:57:05 +00:00

examples.py

Improve docs extension for examples (#7900)

2022-01-07 22:25:38 +00:00

include_build_file.py

Various improvements to documentation (#7283)

2021-10-04 20:59:28 +00:00

run_command.py

Refactor documentation (#8288)

2022-03-21 21:19:11 +00:00

smtliblexer.py

api: Various fixes in Python documentation. (#8554)

2022-04-04 19:37:51 +00:00