[GIT] ppl/ppl(master): Man pages updated.
Module: ppl/ppl Branch: master Commit: f0a533690561d711ff634804e7870856e5c1f1a0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0a533690561d...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 11:36:58 2012 +0100
Man pages updated.
---
demos/ppl_lcdd/ppl_lcdd.1 | 4 ++-- demos/ppl_lpsol/ppl_lpsol.1 | 4 ++-- demos/ppl_pips/ppl_pips.1 | 4 ++-- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 20 ++++++++++---------- doc/ppl-config_extra_man_text | 2 +- 7 files changed, 19 insertions(+), 19 deletions(-)
diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index 77d7ecc..dff3fe7 100644 --- a/demos/ppl_lcdd/ppl_lcdd.1 +++ b/demos/ppl_lcdd/ppl_lcdd.1 @@ -1,5 +1,5 @@ -." DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_LCDD "1" "August 2010" "ppl_lcdd 0.11" "User Commands" +." DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.4. +.TH PPL_LCDD "1" "February 2012" "ppl_lcdd 0.12" "User Commands" .SH NAME ppl_lcdd - a PPL-based program for vertex/facet enumeration of convex polyhedra .SH SYNOPSIS diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1 index 66d26ba..2228faf 100644 --- a/demos/ppl_lpsol/ppl_lpsol.1 +++ b/demos/ppl_lpsol/ppl_lpsol.1 @@ -1,5 +1,5 @@ -." DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_LPSOL "1" "August 2010" "ppl_lpsol 0.11" "User Commands" +." DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.4. +.TH PPL_LPSOL "1" "February 2012" "ppl_lpsol 0.12" "User Commands" .SH NAME ppl_lpsol - a PPL-based mixed integer programming problem solver .SH SYNOPSIS diff --git a/demos/ppl_pips/ppl_pips.1 b/demos/ppl_pips/ppl_pips.1 index 13aa5a6..19258d9 100644 --- a/demos/ppl_pips/ppl_pips.1 +++ b/demos/ppl_pips/ppl_pips.1 @@ -1,5 +1,5 @@ -." DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_PIPS "1" "August 2010" "ppl_pips 0.11" "User Commands" +." DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.4. +.TH PPL_PIPS "1" "February 2012" "ppl_pips 0.12" "User Commands" .SH NAME ppl_pips - a PPL-based parametric integer programming problem solver .SH SYNOPSIS diff --git a/doc/libppl.3 b/doc/libppl.3 index 4b3f55d..0e5ab1f 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -216,7 +216,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command .SH "REPORTING BUGS" Report bugs to <ppl-devel@cs.unipr.it>.
-.SH COPYRIGHT +.SH "COPYRIGHT AND NO WARRANTY" Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) .br diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index ef6dd2d..1d8a37a 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -152,7 +152,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command .SH "REPORTING BUGS" Report bugs to <ppl-devel@cs.unipr.it>.
-.SH COPYRIGHT +.SH "COPYRIGHT AND NO WARRANTY" Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) .br diff --git a/doc/ppl-config.1 b/doc/ppl-config.1 index 86a6d5b..9e5a2ed 100644 --- a/doc/ppl-config.1 +++ b/doc/ppl-config.1 @@ -1,5 +1,5 @@ -." DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL-CONFIG "1" "August 2010" "ppl-config 0.11.1pre1" "User Commands" +." DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.4. +.TH PPL-CONFIG "1" "February 2012" "ppl-config 0.12" "User Commands" .SH NAME ppl-config - obtain information about an installation of the Parma Polyhedra Library .SH SYNOPSIS @@ -101,9 +101,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command
.SH "REPORTING BUGS" Report bugs to <ppl-devel@cs.unipr.it>. -.SH "REPORTING BUGS" -Report bugs to <ppl-devel@cs.unipr.it>. -.SH COPYRIGHT +.SH "COPYRIGHT AND NO WARRANTY" Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) .br @@ -111,32 +109,34 @@ This is free software; see the file \fBCOPYING\fR in the source distribution or use the command \fBppl-config --copying\fR to obtain the copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. +.SH "REPORTING BUGS" +Report bugs to <ppl-devel@cs.unipr.it>. .SH "SEE ALSO" .BR libppl(3) .sp .BR libppl_c(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library User's Manual (version 0.12)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.12)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.12)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.12)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.12)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/%5CfR . diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text index b137ea7..8561dd4 100644 --- a/doc/ppl-config_extra_man_text +++ b/doc/ppl-config_extra_man_text @@ -39,7 +39,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command .SH "REPORTING BUGS" Report bugs to <ppl-devel@cs.unipr.it>.
-[COPYRIGHT] +[COPYRIGHT AND NO WARRANTY] Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) .br
participants (1)
-
Roberto Bagnara