aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/conf.py
AgeCommit message (Expand)Author
2019-05-23Make progress toward #9411: reject new undefined references.Théo Zimmermann
2019-05-13Merge PR #10085: Do not include unreleased changelog in released versions.Vincent Laporte
2019-05-08Define a new `is_a_released_version` variable in configure.ml.Théo Zimmermann
2019-05-07Define minimum Sphinx version in conf.py.Théo Zimmermann
2019-02-18Add diff rule for README.rst to dune refman-html aliasGaëtan Gilbert
2019-02-12Increase sphinx recursion limitGaëtan Gilbert
2018-12-14Turn warning on for undocumented objects. Closes #7602.Théo Zimmermann
2018-12-03Closes #9118: single backticks are made equivalent to double backticks; try t...Théo Zimmermann
2018-10-10Include all menu entries in the menu/short TOC so that users can viewJim Fehrle
2018-09-25[doc] Change Sphinx project title back to "Coq"Clément Pit-Claudel
2018-09-20[doc] Replace app.info (deprecated in Sphinx 8.0) with logger.infoClément Pit-Claudel
2018-09-20[doc] Skip unneeded copies in copy_formatspecific_filesClément Pit-Claudel
2018-09-20[doc] Remove frames around code snippets in the LateX buildClément Pit-Claudel
2018-09-20[doc] Change the name that appears on the first page of the PDF manualClément Pit-Claudel
2018-09-20[doc] Fix some Sphinx LaTeX warnings and silence othersClément Pit-Claudel
2018-09-20[doc] Get rid of two Sphinx warningsClément Pit-Claudel
2018-09-20[doc] Include the rst and LaTeX preambles automatically in all filesClément Pit-Claudel
2018-09-20[doc] Improve rendering of Coq objects in PDF outputClément Pit-Claudel
2018-09-20[doc] Create a separate zebibliography file for the LaTeX buildClément Pit-Claudel
2018-09-20[doc] Create a separate index file for the LaTeX buildClément Pit-Claudel
2018-09-20[doc] Adjust conf.py to allow LaTeX buildsClément Pit-Claudel
2018-06-17Add introduction and credits to the TOC.Théo Zimmermann
2018-06-08[doc] Disable smartquotes conversionClément Pit-Claudel
2018-05-22[doc] Add a setting to warn about empty Coq objectsClément Pit-Claudel
2018-05-15[doc] Add a README to doc/sphinx/Clément Pit-Claudel
2018-03-15[Sphinx] Add creditsMaxime Dénès
2018-03-13[Sphinx] Add introductionMaxime Dénès
2018-03-13[Sphinx] Add "edit on github"Maxime Dénès
2018-03-13[Sphinx] Update some metadataMaxime Dénès
2018-03-13[Sphinx] Read version number from configureMaxime Dénès
2018-03-13[Sphinx] Comment out metadata for unused backendsMaxime Dénès
2018-03-13[Sphinx] Remove information for .chm backendMaxime Dénès
2018-03-09Integration of a sphinx-based documentation generator.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:29:31 +0000