Gerard Beekmans 5c64de504f Removed texinfo patch il y a 24 ans
..
appendixb 05121c075e more XML updates... il y a 24 ans
appendixc 5c64de504f Removed texinfo patch il y a 24 ans