16 Jan
2006
16 Jan
'06
12:51 p.m.
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