From 33e02f5726299f7016282856addb040c12ced774 Mon Sep 17 00:00:00 2001 From: Alain Reguera Delgado Date: May 27 2011 03:29:14 +0000 Subject: Update Licenses/chapter-nodes.texinfo. Change file extension from .texi to .texinfo. --- diff --git a/Manuals/Texinfo/Licenses/chapter-nodes.texinfo b/Manuals/Texinfo/Licenses/chapter-nodes.texinfo index 088be69..da69108 100755 --- a/Manuals/Texinfo/Licenses/chapter-nodes.texinfo +++ b/Manuals/Texinfo/Licenses/chapter-nodes.texinfo @@ -1,9 +1,9 @@ @node GNU General Public License @section GNU General Public License @cindex GNU General Public License -@include Licenses/GPL.texi +@include Licenses/GPL.texinfo @node GNU Free Documentation License @section GNU Free Documentation License @cindex GNU Free Documentation License -@include Licenses/GFDL.texi +@include Licenses/GFDL.texinfo