> It would be great then if someone could knowck up a script which > auto-generated the install.txt file from the install.xml one.
Actually there is a txt downloadable version of the manual, so the install.txt file can be cropped from that file. Goba