From ea7da7c4c149d92309981d9b39c5ac8fa1d0a388 Mon Sep 17 00:00:00 2001 From: Alain Reguera Delgado Date: May 27 2011 03:29:08 +0000 Subject: Update Directories/chapter.texinfo. Change file extension from .texi to .texinfo. --- diff --git a/Manuals/Texinfo/Directories/chapter.texinfo b/Manuals/Texinfo/Directories/chapter.texinfo index c6d914f..ce2ff93 100644 --- a/Manuals/Texinfo/Directories/chapter.texinfo +++ b/Manuals/Texinfo/Directories/chapter.texinfo @@ -1,6 +1,6 @@ @node Directories @chapter The Repository Directories @cindex Repository directories -@include Directories/chapter-intro.texi -@include Directories/chapter-menu.texi -@include Directories/chapter-nodes.texi +@include Directories/chapter-intro.texinfo +@include Directories/chapter-menu.texinfo +@include Directories/chapter-nodes.texinfo