summaryrefslogtreecommitdiff
path: root/ocamldoc/Makefile
Commit message (Expand)AuthorAgeFilesLines
...
* Introduce Makefile.build_config.inDavid Allsopp2020-04-171-2/+2
* Correct implementation of --disable-stdlib-manpagesDavid Allsopp2020-02-261-7/+1
* Ensure make distclean works on an unconfigured treeDavid Allsopp2019-10-151-2/+3
* Allow make to be invoked before configureDavid Allsopp2018-12-041-2/+2
* ocamldoc Makefile: use .opt versions of the build tools when availableGabriel Scherer2019-10-121-4/+6
* Merge pull request #8835 from dra27/save-the-planetGabriel Scherer2019-10-051-1/+6
|\
| * Make STDLIB_MANPAGES a boolean, not a targetDavid Allsopp2019-09-271-1/+6
| * Add --disable-stdlib-manpages to configureDavid Allsopp2019-09-271-1/+1
* | Allow compiling ocamldoc with -principal (#8955)Jacques Garrigue2019-09-301-1/+3
|/
* explanatory comment on when 'ocamlrun ocamldoc' failsGabriel Scherer2019-08-301-0/+3
* ocamldoc: remove an obsolete testGabriel Scherer2019-08-301-5/+0
* ocamldoc/Makefile: use ocamldoc.opt when availableGabriel Scherer2019-08-301-8/+18
* ocamldoc: build manpages explicitly in root MakefileGabriel Scherer2019-08-301-1/+1
* ocamldoc/Makefile: manpages don't need generators anymore, odoc_man is builtinGabriel Scherer2019-08-301-2/+0
* Build system: make ocamllex silent by default (#8664)Sébastien Hinderer2019-05-071-5/+5
* make clean: do not remove emacs backupsNicolás Ojeda Bär2019-04-101-1/+1
* Improve the packing mechanism used to build Dynlink (#2268)Mark Shinwell2019-03-191-0/+1
* Delete otherlib/{graph,win32graph} (#2318)Jérémie Dimino2019-03-181-2/+1
* env refactoring: separate the cmi/crc handling into a persistent_env moduleGabriel Scherer2019-02-181-1/+1
* Build system: use ocamlc -depend rather than ocamldepSébastien Hinderer2019-01-031-1/+1
* Makefiles: restructure CAMLDEP usage to easily add flagsGabriel Scherer2018-12-121-3/+5
* ocamldoc makefile: clean pdf and texi docsFlorian Angeletti2018-11-061-1/+1
* documentation: move operator table to a new pageFlorian Angeletti2018-11-041-8/+9
* add makefile target for stdlib pdfFlorian Angeletti2018-10-251-0/+28
* Move config/Makefile to Makefile.configSébastien Hinderer2018-09-171-1/+1
* manual: compiler-libs.mld -> compiler_libs.mldFlorian Angeletti2018-09-121-2/+2
* MPR7546, manual: preambles and warnings for compiler-libs modules (#2020)Florian Angeletti2018-09-121-2/+6
* Remove space from end of FLEXLINK_ENVDavid Allsopp2018-09-071-2/+2
* Move FLEXLINK_ENV definition to Makefile.commonDavid Allsopp2018-09-071-11/+0
* Always use ROOTDIR in lex and ocamldoc MakefilesDavid Allsopp2018-09-071-24/+25
* Standardise setting and use of OCAML_FLEXLINKDavid Allsopp2018-09-071-6/+8
* html manual: split compilerlibs from stdlibFlorian Angeletti2018-09-051-9/+8
* replace awk by $(AWK) in doc makefilesFlorian Angeletti2018-09-041-2/+2
* doc: remove unprefix trickoctachron2018-09-031-10/+15
* remove unused ocamlyacc dependencies, never put it in boot/Gabriel Scherer2018-09-011-1/+1
* Deprecate Pervasives (#1605)Jérémie Dimino2018-08-271-4/+2
* fix an unintended change of library installation directory for ocamldocGabriel Scherer2018-07-031-8/+8
* makefiles: consistently offer *both* 'allopt' and 'opt.opt' targetsGabriel Scherer2018-06-071-1/+2
* Add configure options to control installation of source artifacts (#1777)Mark Shinwell2018-05-141-2/+12
* fix grammar conflicts in ocamldocDamien Doligez2018-04-201-2/+2
* cleanup stdlib documentation makefiles (#1700)Florian Angeletti2018-04-121-2/+4
* ocamldoc Makefile: change target names to avoid useless recompilationGabriel Scherer2018-04-111-4/+4
* factorize common makefile definitions in Makefile.commonGabriel Scherer2018-03-291-8/+4
* makefiles: turn the 'install' command into a variableGabriel Scherer2018-03-291-13/+11
* ocamldoc/Makefile: rename variables for consistencyGabriel Scherer2018-03-291-5/+5
* makefiles: use 'install' instead of 'cp' in 'make install' targetsGabriel Scherer2018-03-291-7/+20
* build_path_prefix_map: update .depend and MakefilesGabriel Scherer2018-03-011-1/+1
* Core review workJeremie Dimino2018-02-121-1/+1
* Factorize the build of the unprefixed stdliboctachron2018-02-121-78/+7
* Minimal fix for the manual build pocessoctachron2018-02-121-6/+29
View Lorry Controller Status