aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/conf.py
AgeCommit message (Expand)Author
2021-01-05[doc] tell sphinxcontrib-bibtex which bibtex file to useEnrico Tassi
2020-12-30Convert rewriting and proof-mode chapters to prodnJim Fehrle
2020-12-11Bump reference to 8.12 refman following unexpected 8.12.2 release.Théo Zimmermann
2020-11-24Convert auto chapter to prodnJim Fehrle
2020-11-16[doc] add a link to v8.13Enrico Tassi
2020-10-24Convert misc chapters to prodnJim Fehrle
2020-09-27Reduce nitpick_ignore list a little.Théo Zimmermann
2020-08-25Convert ltac2 chapter to use prodn, update syntaxJim Fehrle
2020-06-05Merge PR #12397: Fix #12280: do not use xindy to avoid build failures on some...Emilio Jesus Gallego Arias
2020-06-05Adjust list of versions in version switcher.Théo Zimmermann
2020-05-26Fix #12280: do not use xindy to avoid build failures on some machines.Théo Zimmermann
2020-05-18Bump minimal versions of refman dependencies.Théo Zimmermann
2020-05-09[sphinx] Add links to other versions of the refmanClément Pit-Claudel
2020-05-01Move essential vocabulary and syntax conventions to section on basics.Théo Zimmermann
2020-04-26Convert syntax extensions chapter to prodnJim Fehrle
2020-03-24Merge PR #11892: [refman] Fix caching, which was broken by the addition of co...Théo Zimmermann
2020-03-23[refman] Fix caching, which was broken by the addition of coq_configClément Pit-Claudel
2020-03-20Merge PR #11665: Make Cumulative, NonCumulative and Private attributes.Pierre-Marie Pédrot
2020-03-19[refman] Remove workaround for sphinx-doc/sphinx#4983Clément Pit-Claudel
2020-03-19Document all the existing attributes.Théo Zimmermann
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-09Remove some productionlistsJim Fehrle
2020-02-28Convert Gallina Vernac to use prodnJim Fehrle
2020-02-19Update copyright in refman to year 2020.Théo Zimmermann
2019-11-20Update grammar in the Terms section of Gallina chapterJim Fehrle
2019-06-17Update copyright years outside of headers.Théo Zimmermann
2019-06-17Adapt change-header script to handle shebangs in addition to Emacs comments.Théo Zimmermann
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:34:46 +0000