summaryrefslogtreecommitdiff
path: root/man/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Be more explicit about the default value of DESTDIRXavier Leroy2019-05-021-0/+1
* Introduce and use ROOTDIR in more makefilesSébastien Hinderer2018-09-171-1/+2
* Move config/Makefile to Makefile.configSébastien Hinderer2018-09-171-1/+1
* Fix man/MakefileSébastien Hinderer2017-05-231-3/+3
* Build system: rename variables related to manual pagesSébastien Hinderer2017-03-291-8/+9
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* fix some of the whitespace problems in the sourceDamien Doligez2014-04-121-3/+6
* PR#6358: obey DESTDIR in install targetsGabriel Scherer2014-04-071-5/+5
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez2012-07-261-0/+1
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* Modif mandirXavier Leroy2002-04-241-3/+5
* Changement de la licenceXavier Leroy1999-11-171-0/+14
* Ajout et corrections de pages de manXavier Leroy1999-02-251-0/+6