[PPL-devel] [GIT] ppl/ppl(master): Use consistent formatting for the FDL.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 0aaaf32d0d703a0a6744bc0b4dee276108d8ce1a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0aaaf32d0d703a0a6744bc0b4dee276108d8ce1a

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Mar 17 18:23:27 2012 +0100

Use consistent formatting for the FDL.

---

 README           |    4 ++--
 README.alpha     |    4 ++--
 README.arm       |    4 ++--
 README.configure |    4 ++--
 README.solaris   |    4 ++--
 STANDARDS        |    4 ++--
 doc/README.doc   |    4 ++--
 tests/README     |    4 ++--
 8 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/README b/README
index 079e65a..354fea1 100644
--- a/README
+++ b/README
@@ -1719,8 +1719,8 @@ This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no
-Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+any later version published by the Free Software Foundation;
+with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files called `fdl.*'.
 
diff --git a/README.alpha b/README.alpha
index 64f9985..8ba94f9 100644
--- a/README.alpha
+++ b/README.alpha
@@ -34,8 +34,8 @@ This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no
-Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+any later version published by the Free Software Foundation;
+with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files called `fdl.*'.
 
diff --git a/README.arm b/README.arm
index ee5f8fa..e50c230 100644
--- a/README.arm
+++ b/README.arm
@@ -29,8 +29,8 @@ This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no
-Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+any later version published by the Free Software Foundation;
+with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files called `fdl.*'.
 
diff --git a/README.configure b/README.configure
index 6987360..03bbc86 100644
--- a/README.configure
+++ b/README.configure
@@ -456,8 +456,8 @@ This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no
-Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+any later version published by the Free Software Foundation;
+with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files called `fdl.*'.
 
diff --git a/README.solaris b/README.solaris
index 3e57785..233517c 100644
--- a/README.solaris
+++ b/README.solaris
@@ -25,8 +25,8 @@ This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no
-Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+any later version published by the Free Software Foundation;
+with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files called `fdl.*'.
 
diff --git a/STANDARDS b/STANDARDS
index ead4b48..09a1262 100644
--- a/STANDARDS
+++ b/STANDARDS
@@ -714,8 +714,8 @@ This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no
-Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+any later version published by the Free Software Foundation;
+with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files called `fdl.*'.
 
diff --git a/doc/README.doc b/doc/README.doc
index 5e76f3d..cb62016 100644
--- a/doc/README.doc
+++ b/doc/README.doc
@@ -141,8 +141,8 @@ This document describes the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no
-Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+any later version published by the Free Software Foundation;
+with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files called `fdl.*'.
 
diff --git a/tests/README b/tests/README
index 1f70cb0..a2e7643 100644
--- a/tests/README
+++ b/tests/README
@@ -92,8 +92,8 @@ This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no
-Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+any later version published by the Free Software Foundation;
+with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files called `fdl.*'.