From 2ea21fcb09dd522ca727620dcca8299023fd728c Mon Sep 17 00:00:00 2001 From: Alain Reguera Delgado Date: May 27 2011 03:29:16 +0000 Subject: Update repository-nodes.texinfo. Change file extension from .texi to .texinfo. --- diff --git a/Manuals/Texinfo/repository-nodes.texinfo b/Manuals/Texinfo/repository-nodes.texinfo index 4295dac..722d48f 100644 --- a/Manuals/Texinfo/repository-nodes.texinfo +++ b/Manuals/Texinfo/repository-nodes.texinfo @@ -1,3 +1,3 @@ -@include Introduction/chapter.texi -@include Directories/chapter.texi -@include Licenses/chapter.texi +@include Introduction/chapter.texinfo +@include Directories/chapter.texinfo +@include Licenses/chapter.texinfo