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