aboutsummaryrefslogtreecommitdiff
path: root/Makefile.doc
AgeCommit message (Expand)Author
2018-10-10Include all menu entries in the menu/short TOC so that users can viewJim Fehrle
2018-10-02[doc] [api] Remove `ocamldoc` support in favor of `odoc`Emilio Jesus Gallego Arias
2018-09-25Fix Sphinx manual targets.Théo Zimmermann
2018-09-20Fix race condition.Théo Zimmermann
2018-09-20[doc] Add sphinx-html, sphinx-latex, and sphinx-pdf targetsClément Pit-Claudel
2018-09-03[doc] Build ML API documentation artifact.Emilio Jesus Gallego Arias
2018-08-29Create SPHINXWARNERROR variable that controls whether the SphinxJim Fehrle
2018-06-08gitlab: build sphinx doc in separate jobGaëtan Gilbert
2018-05-22[doc] Fix an incorrect use of $PWD in Makefile.docClément Pit-Claudel
2018-05-12Sphinx: a "QUICK=1" option to bypass recompilation of the library.Hugo Herbelin
2018-05-10Clean-up in Makefile.doc and include Sphinx in doc-html target.Théo Zimmermann
2018-05-10Remove tutorials.Théo Zimmermann
2018-04-28[doc] Remove unused dependencies.Emilio Jesus Gallego Arias
2018-04-16Remove LaTeX refman, now that migration to Sphinx is completeMaxime Dénès
2018-04-14[Sphinx] Build with warnings as errorsMaxime Dénès
2018-04-14[Sphinx] Move chapter 9 to new infrastructure.Théo Zimmermann
2018-04-13[Sphinx] Move chapter 1 to new infrastructureMaxime Dénès
2018-04-11[Sphinx] Move chapter 29 to new infrastructureMaxime Dénès
2018-04-10[Sphinx] Move chapter 6 to new infrastructureMaxime Dénès
2018-04-10[Sphinx] Move chapter 15 to new infrastructureMaxime Dénès
2018-04-09[Sphinx] Move chapter 7 to new infrastructureMaxime Dénès
2018-04-05[Sphinx] Move chapter 30 to new infrastructureMaxime Dénès
2018-04-04[Sphinx] Move chapter 28 to new infrastructureMaxime Dénès
2018-03-30[Sphinx] Move chapter 27 to new infrastructureMaxime Dénès
2018-03-30[Sphinx] Move chapter 25 to new infrastructureMaxime Dénès
2018-03-29[Sphinx] Move chapter 26 to new infrastructureMaxime Dénès
2018-03-29[Sphinx] Move chapter 24 to new infrastructureMaxime Dénès
2018-03-29[Sphinx] Move chapter 23 to new infrastructureMaxime Dénès
2018-03-29[Sphinx] Move chapter 18 to new infrastructureMaxime Dénès
2018-03-26Move Classes.tex to type-classes.rstMatthieu Sozeau
2018-03-22Merge branch 'master' into sphinx-doc-chapter-22Guillaume Melquiond
2018-03-22Merge branch 'master' into sphinx-doc-chapter-21Guillaume Melquiond
2018-03-22Merge branch 'master' into sphinx-doc-chapter-19Guillaume Melquiond
2018-03-22[Sphinx] Move chapter 22 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Move chapter 21 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Move chapter 19 to new infrastructureMaxime Dénès
2018-03-22[Sphinx] Move chapter 17 to new infrastructureMaxime Dénès
2018-03-16[Sphinx] Add chapter 11Maxime Dénès
2018-03-15[Sphinx] Move chapter 3 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Move chapter 16 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Move chapter 14 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Move chapter 13 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Move chapter 12 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Move chapter 10 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Move chapter 8 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Move chapter 5 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Move chapter 4 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 2Maxime Dénès
2018-03-15[Sphinx] Move chapter 2 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Move credits to new infrastructureMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:04:03 +0000