[PPL-devel] [GIT] ppl/ppl(master): Copyright wording fixed.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Mar 18 08:23:08 2012 +0100

Copyright wording fixed.

---

 README           |    2 +-
 README.alpha     |    2 +-
 README.arm       |    2 +-
 README.configure |    2 +-
 README.solaris   |    2 +-
 STANDARDS        |    2 +-
 tests/README     |    2 +-
 7 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/README b/README
index f727bd0..46d349d 100644
--- a/README
+++ b/README
@@ -1715,7 +1715,7 @@ ppl-0.12
 Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
 Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 
-This file is part of the Parma Polyhedra Library (PPL).
+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
diff --git a/README.alpha b/README.alpha
index d0af55e..5e9e6fa 100644
--- a/README.alpha
+++ b/README.alpha
@@ -30,7 +30,7 @@ should probably not worry.  Your mileage may vary...
 Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
 Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 
-This file is part of the Parma Polyhedra Library (PPL).
+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
diff --git a/README.arm b/README.arm
index 47b0d1e..18e2bad 100644
--- a/README.arm
+++ b/README.arm
@@ -25,7 +25,7 @@ For example:
 Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
 Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 
-This file is part of the Parma Polyhedra Library (PPL).
+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
diff --git a/README.configure b/README.configure
index 9cd4eb4..0db4546 100644
--- a/README.configure
+++ b/README.configure
@@ -452,7 +452,7 @@ you cannot explain otherwise, use `autoreconf -f'.
 Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
 Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 
-This file is part of the Parma Polyhedra Library (PPL).
+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
diff --git a/README.solaris b/README.solaris
index 9e1aafb..ead4a76 100644
--- a/README.solaris
+++ b/README.solaris
@@ -21,7 +21,7 @@ This is recommended, even if only the C++ language interface is used.
 Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
 Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 
-This file is part of the Parma Polyhedra Library (PPL).
+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
diff --git a/STANDARDS b/STANDARDS
index 285e835..ea09010 100644
--- a/STANDARDS
+++ b/STANDARDS
@@ -710,7 +710,7 @@ o  Ideally the tests should exercise every line of code in the library.
 Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
 Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 
-This file is part of the Parma Polyhedra Library (PPL).
+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
diff --git a/tests/README b/tests/README
index 9a81a45..c26fdc9 100644
--- a/tests/README
+++ b/tests/README
@@ -88,7 +88,7 @@ f) Run `mytest' and enjoy!
 Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
 Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 
-This file is part of the Parma Polyhedra Library (PPL).
+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