[PPL-devel] ppl/doc ppl-config_extra_man_text ppl_lcdd_ext ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2006-09-13 15:45:24

Added files:
	doc            : ppl-config_extra_man_text 
	                 ppl_lcdd_extra_man_text 
	                 ppl_lpsol_extra_man_text prog2man 

Log message:
	Provisional machinery to automatically build the man pages put under
	CVS control.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config_extra_man_text?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lcdd_extra_man_text?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lpsol_extra_man_text?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/prog2man?cvsroot=ppl&rev=1.1