summaryrefslogtreecommitdiff
path: root/manual/Makefile
Commit message (Expand)AuthorAgeFilesLines
* manual: new consistency test for cross-referencesoctachron2018-01-041-0/+6
* manual pre-generation: separate .etex files from stdlib buildGabriel Scherer2016-09-021-4/+8
* GPR#693: add a manual-pregen makefile targetoctachron2016-09-021-0/+6
* manual build: have 'make all' run 'make tools' firstGabriel Scherer2015-11-291-1/+2
* add missing newlineDamien Doligez2014-07-301-1/+1
* Add a Makefile rule to rebuild tools.Alain Frisch2010-04-191-0/+4
* make -> ${MAKE}Damien Doligez1997-12-101-6/+6
* MAJ pour release 1.10Xavier Leroy1995-11-071-3/+3
* La doc de Caml Special Light.Xavier Leroy1995-11-011-0/+11