<2012-08-26> Mise à jour jarbundler, et mise à jour cible texi2dvi pour que ça marche sous Linux.
Authored by: vincentb1 2012-08-26
Parent: [r1540]
Child: [r1542]
