[PPL-devel] ppl/devtools generate_man_pages

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2008-10-10 22:22:41

Added files:
	devtools       : generate_man_pages 

Log message:
	Small script to generate the manpages in the `doc' directory.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/devtools/generate_man_pages?cvsroot=ppl&rev=1.1