(|l)gpl-2.[01].tex: Remove the `\renewcommand{\theenumi}...' comments.
[cfd] / common.texi
index 8336428..86c0809 100644 (file)
@@ -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