Gerard Beekmans 5c64de504f Removed texinfo patch 24 years ago
..
appendixb 05121c075e more XML updates... 24 years ago
appendixc 5c64de504f Removed texinfo patch 24 years ago