[PPL-devel] ppl TODO

[Roberto Bagnara]

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 at cs.unipr.it