summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_args.ml
Commit message (Expand)AuthorAgeFilesLines
* Adds -nonavbar option to ocamldoc, uses itJohn Whitington2021-01-111-1/+2
* Fix handling of Exit_compiler exception in toplevel (#9798)Nicolás Ojeda Bär2020-10-051-2/+5
* share argument implementation across executableFlorian Angeletti2019-09-301-40/+4
* Cleanup ocamldoc pre-argumentsFlorian Angeletti2019-09-301-15/+0
* Restore -vmthreads flag as an error (#2312)David Allsopp2019-03-131-0/+1
* Delete the vmthreads library (#2289)Jérémie Dimino2019-03-111-1/+0
* "Alerts" as a generalization of "deprecated" (#1804)Alain Frisch2018-11-151-0/+1
* ocamldoc: add a -lib flag for prefixed librariesFlorian Angeletti2018-09-031-0/+1
* Move Location.absname to Clflags.absname (#1886)Armael2018-07-061-1/+1
* refactoring the uses of Clflags.include_dirsValentin Gatien-Baron2018-07-011-2/+1
* Add -dcamlprimc + pass -fdebug-prefix-map when available (#1845)Xavier Clerc2018-06-271-0/+1
* Add the -dunique-ids and -dno-unique-ids options to the compilersSébastien Hinderer2018-02-201-0/+2
* Prefix the compilation unit names of all modules in the stdlibJeremie Dimino2018-02-121-0/+2
* PR#7363: add a texinfo title option to ocamldococtachron2017-10-041-10/+19
* ocamldoc:show missed cross-reference opportunitiesoctachron2017-02-011-0/+2
* GPR#606: add unboxed typesDamien Doligez2016-07-211-0/+2
* Add `-alias-deps` and `-app-funct`Demi Obenour2016-04-191-0/+2
* Add explicit command-line flags for currently-default settingsDemi Obenour2016-04-181-0/+4
* More warnings for ocamldoc.Alain Frisch2016-03-151-2/+2
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Enable flambdaPierre Chambart2016-01-281-0/+1
* Remove useless bindings, use proper sequencing instead of 'let _ = ... in ...'.alainfrisch2016-01-201-3/+2
* PR#7108: ocamldoc, have -html preserve custom/extended html generatorsArmael2016-01-021-10/+25
* merge branch 4.02 from release 4.02.0 to release 4.02.1Damien Doligez2014-10-151-35/+64
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* fix formatting of copyright headersDamien Doligez2012-08-011-0/+1
* merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez2012-07-261-1/+91
* Adapt ocamldoc for -ppx. Also reuse some code from Pparse instead of duplicat...Alain Frisch2012-06-131-0/+1
* merge changes from 3.12.0 to 3.12.1Damien Doligez2011-07-201-3/+34
* use first-class modules to allow composition of custom generatorsMaxence Guesdon2010-08-241-202/+98
* PR#4857: add -vnum option to all executablesDamien Doligez2010-05-201-0/+2
* option -g also for native code version (loading custom generators)Maxence Guesdon2009-03-111-6/+2
* add option -no-module-constraint-filter for PR#4588Maxence Guesdon2008-07-251-0/+5
* fusion de la version 3.10.0Damien Doligez2007-10-081-0/+1
* fusion des changements 3.09.2 -> 3.09.3Damien Doligez2006-09-201-1/+4
* fusion 3.09.0 -> 3.09.1Damien Doligez2006-01-041-5/+10
* fusion des changements jusqu'a 3.08.3Damien Doligez2005-03-241-17/+19
* Fusion des modifs de la branche release308 entre 3.08.0 et 3.08.1Damien Doligez2004-08-201-4/+19
* Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0Xavier Leroy2004-07-131-7/+17
* handling a path to load custom generatorsMaxence Guesdon2004-01-281-1/+5
* added $Id$ keywordsBasile Starynkevitch2003-11-241-0/+2
* add: -intro option to use a file content as ocamldoc comment to use as introd...Maxence Guesdon2003-11-211-0/+3
* ajout options pour odoc_texi, par olivier andrieuMaxence Guesdon2003-02-211-0/+6
* encodage des caracteres speciaux dans les label et index por la sortie latexMaxence Guesdon2002-11-221-81/+83
* pas d'option -g en native mode + ajout du module Args dans Odoc_info et utili...Maxence Guesdon2002-08-131-3/+6
* detabisationDamien Doligez2002-07-231-13/+13
* ajout option -latex-*-prefixMaxence Guesdon2002-07-091-1/+19
* ajout option -man-mini pour ne générer que les pages man des module et clas...Maxence Guesdon2002-04-231-0/+3
* ajout option man-suffixMaxence Guesdon2002-04-221-0/+5
* add_option permet maintenant de redéfinir une optionMaxence Guesdon2002-04-151-1/+11
View Lorry Controller Status