Matthew Mundell wrote:
It'd be nice if the manual pages also came in texinfo format.
It's a problem of manpower, as usual. Notice that the current man pages have been generated by a simple script based un help2man. This is a GNU tool that generates a man page out of '--help' and '--version' output. The big advantage is that you only maintain the application, and let help2man update the man documentation accordingly. I will commit the scripts after the release of PPL 0.8. Meanwhile you can: 1) note your wish in the TODO file; 2) start looking for a help2texinfo or man2texinfo tool. Ciao, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it