<2012-09-06> Ajout des chemins d'include pour makeinfo, de sorte à trouver version.texi.
Authored by: vincentb1 2012-09-16
Parent: [r1571]
Child: [r1573]
