{,l,a}gpl-*.{tex,texi}: Proper typeset versions of the licences.

[cfd] / common.texi

diff --git a/common.texi b/common.texi
index 8336428..86c0809 100644 (file)
--- a/common.texi
+++ b/common.texi
@@ -142,7 +142,7 @@ The file repository
 @node Copying, Introduction, Top, Top
 @unnumbered The GNU General Public License
 
-@include gpl.texi
+@include gpl-2.0.texi
 
 @c --------------------------------------------------------------------------
 @node Introduction, The file repository, Copying, Top