aboutsummaryrefslogtreecommitdiff
path: root/Makefile.doc
AgeCommit message (Expand)Author
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
2018-03-13[Sphinx] Move introduction to new infrastructureMaxime Dénès
2018-03-09Integration of a sphinx-based documentation generator.Maxime Dénès
2018-03-05Remove NOPLUGINDOCS optionmrmr1993
2018-03-05Build docs for plugins by default, add NOPLUGINDOCS flag to disablemrmr1993
2018-03-05Tidy up ml-doc outut, give it a separate output directorymrmr1993
2018-03-05Use computed deps to generate ml-doc and use implicit mli-doc depsmrmr1993
2018-03-05Merge PR #6855: Update headers following #6543.Maxime Dénès
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-27Use relative path for show_latex_messagesmrmr1993
2018-02-27Use MYCAMLP5LIB instead of undefined MYCAMLP4LIBmrmr1993
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-18Removing the FAQ, which has been moved to the GitHub wiki for thisMatt Quinn
2017-09-22Remove some unused parts of the reference manual.Guillaume Melquiond
2017-09-15Merge PR #979: Fix install-doc target and other gitlab failuresMaxime Dénès
2017-08-31Fix install-doc targetGaëtan Gilbert
2017-08-29[general] Merge parsing with highparsing, put toplevel at the top of the link...Emilio Jesus Gallego Arias
2017-08-02Port ssr manual to Coq's latex/hevea styleEnrico Tassi
2017-08-02Makefile.doc: implement serve-refman-8080 targetEnrico Tassi
2017-06-07Put all plugins behind an "API".Matej Kosik
2017-05-28Gitlab CIGaëtan Gilbert
2017-03-07Farewell decl_modeEnrico Tassi
2016-12-19Avoid concurrent runs when producing html documentation (bug #5269).Guillaume Melquiond
2016-10-21Merge remote-tracking branch 'gforge/v8.5' into v8.6Matthieu Sozeau
2016-10-19Change the order of arguments of fig2dev.Théo Zimmermann
2016-06-23Makefile.doc: fix 'make doc'Pierre Letouzey
2016-06-08Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Pierre Letouzey
2015-08-17Remove generatable documentation files from repository. (Fix bug #4315)Guillaume Melquiond
2015-02-17Separate index for vernacular options.Maxime Dénès
2015-02-10Run coqdoc on the .v files from the plugins directory. (Fix for bug #2195)Guillaume Melquiond
2014-12-09Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...notin
2014-11-07doc: version number in cover.html + updates in coq.inria.fr stylePierre Letouzey
2014-10-24Install index_urls.txt in a location where coqide might actually find it.Guillaume Melquiond
2014-10-24Fix generation of the index_urls.txt file.Guillaume Melquiond
2012-08-23configure: get rid of the -src option and of ${COQSRC}letouzey
2012-02-01Improved synchronisation of stdlib index page with current library state.herbelin
2012-01-03Makefile.doc: attempt to solve race condition for creating doc/refman/html.herbelin
2011-12-27Bug 2669 and more: make full-stdlibpboutill
2011-10-05Force dependency of Reference-Manual.pdf over Reference-Manual.dviherbelin
2011-09-19Makefile.doc: typo, index_url.txt should be index_urls.txtletouzey
2011-09-17Various fixes in the Makefilesletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 15:39:41 +0000