aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.doc
Commit message (Expand)AuthorAge
* Remove NOPLUGINDOCS optionGravatar mrmr19932018-03-05
* Build docs for plugins by default, add NOPLUGINDOCS flag to disableGravatar mrmr19932018-03-05
* Tidy up ml-doc outut, give it a separate output directoryGravatar mrmr19932018-03-05
* Use computed deps to generate ml-doc and use implicit mli-doc depsGravatar mrmr19932018-03-05
* Merge PR #6855: Update headers following #6543.Gravatar Maxime Dénès2018-03-05
|\
| * Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* | Use relative path for show_latex_messagesGravatar mrmr19932018-02-27
* | Use MYCAMLP5LIB instead of undefined MYCAMLP4LIBGravatar mrmr19932018-02-27
|/
* [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
* Removing the FAQ, which has been moved to the GitHub wiki for thisGravatar Matt Quinn2017-12-18
* Remove some unused parts of the reference manual.Gravatar Guillaume Melquiond2017-09-22
* Merge PR #979: Fix install-doc target and other gitlab failuresGravatar Maxime Dénès2017-09-15
|\
| * Fix install-doc targetGravatar Gaëtan Gilbert2017-08-31
* | [general] Merge parsing with highparsing, put toplevel at the top of the link...Gravatar Emilio Jesus Gallego Arias2017-08-29
|/
* Port ssr manual to Coq's latex/hevea styleGravatar Enrico Tassi2017-08-02
* Makefile.doc: implement serve-refman-8080 targetGravatar Enrico Tassi2017-08-02
* Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07
* Gitlab CIGravatar Gaëtan Gilbert2017-05-28
* Farewell decl_modeGravatar Enrico Tassi2017-03-07
* Avoid concurrent runs when producing html documentation (bug #5269).Gravatar Guillaume Melquiond2016-12-19
* Merge remote-tracking branch 'gforge/v8.5' into v8.6Gravatar Matthieu Sozeau2016-10-21
|\
| * Change the order of arguments of fig2dev.Gravatar Théo Zimmermann2016-10-19
* | Makefile.doc: fix 'make doc'Gravatar Pierre Letouzey2016-06-23
* | Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Gravatar Pierre Letouzey2016-06-08
|/
* Remove generatable documentation files from repository. (Fix bug #4315)Gravatar Guillaume Melquiond2015-08-17
* Separate index for vernacular options.Gravatar Maxime Dénès2015-02-17
* Run coqdoc on the .v files from the plugins directory. (Fix for bug #2195)Gravatar Guillaume Melquiond2015-02-10
* Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...Gravatar notin2014-12-09
* doc: version number in cover.html + updates in coq.inria.fr styleGravatar Pierre Letouzey2014-11-07
* Install index_urls.txt in a location where coqide might actually find it.Gravatar Guillaume Melquiond2014-10-24
* Fix generation of the index_urls.txt file.Gravatar Guillaume Melquiond2014-10-24
* configure: get rid of the -src option and of ${COQSRC}Gravatar letouzey2012-08-23
* Improved synchronisation of stdlib index page with current library state.Gravatar herbelin2012-02-01
* Makefile.doc: attempt to solve race condition for creating doc/refman/html.Gravatar herbelin2012-01-03
* Bug 2669 and more: make full-stdlibGravatar pboutill2011-12-27
* Force dependency of Reference-Manual.pdf over Reference-Manual.dviGravatar herbelin2011-10-05
* Makefile.doc: typo, index_url.txt should be index_urls.txtGravatar letouzey2011-09-19
* Various fixes in the MakefilesGravatar letouzey2011-09-17
* Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395Gravatar pboutill2011-04-08
* Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png...Gravatar emakarov2010-09-06
* Small improvements around coqdoc (including fix for bug #2288)Gravatar herbelin2010-03-30
* Fix the stdlib doc compilation + switch all .v file to utf8Gravatar letouzey2009-09-28
* - Tentatively made order-dependency wrt .vo files a full dependencyGravatar herbelin2009-09-15
* install-doc* are PHONYGravatar lmamane2009-08-25
* Tried to make F1 documentation tool working in CoqIDE.Gravatar herbelin2009-08-14
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* Makefile: fix ignored errors, several attempts to clarify thingsGravatar letouzey2009-03-16
* Modification du style du manuel de référenceGravatar notin2009-02-11
* A few fixes for bug #2032 (backport r11857)Gravatar glondu2009-02-11
* More portable way to pipe stderrGravatar glondu2009-01-30