aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/conf.py
AgeCommit message (Expand)Author
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-04-22 02:04:52 +0000