<2013-02-17> Ajout cibles tgzmanual et clean-tgzmanual pour fabriquer une archive de tous les manuels, de sorte à faciliter la mise en ligne sur le site jPicEdt.
Authored by: vincentb1 2013-02-17
Parent: [r1735]
Child: [r1737]
