Do not list all licenses in the manual of gnutls. Just the license of the manual...

diff --git a/doc/cha-copying.texi b/doc/cha-copying.texi
index d35dd92e5500c0b92551680a102e27726ce746fb..183006a6b77ea979660622137ecf998399a0fde0 100644 (file)
--- a/doc/cha-copying.texi
+++ b/doc/cha-copying.texi
@@ -3,8 +3,6 @@
 
 @menu
 * GNU Free Documentation License::   License for copying this manual.
-* GNU LGPL::                     License for copying the core GnuTLS library.
-* GNU GPL::                      License for copying GnuTLS-extra and tools.
 @end menu
 
 @node GNU Free Documentation License
@@ -14,16 +12,3 @@
 
 @include fdl-1.3.texi
 
-@node GNU LGPL
-@appendixsec GNU Lesser General Public License
-@cindex LGPL, GNU Lesser General Public License
-@cindex License, GNU LGPL
-
-@include lgpl-2.1.texi
-
-@node GNU GPL
-@appendixsec GNU General Public License
-@cindex GPL, GNU General Public License
-@cindex License, GNU GPL
-
-@include gpl-3.0.texi