a fix for Debian which can be nicely included upstream (#102139)

diff --git a/README b/README
index 4e35868..12604b8 100644 (file)
--- a/README
+++ b/README
@@ -24,7 +24,8 @@ Contents:
 
    INSTALLING          Installation instructions.
 
-   COPYING             Your free copy of the GNU Public License.
+   COPYING             Your free copy of the GNU General Public License.
+                        (on Debian /usr/share/common-licenses/GPL)
 
    TODO                        Some things that need to be done.