diff --git a/Manuals/Texinfo/Directories/trunk/Manual.texinfo b/Manuals/Texinfo/Directories/trunk/Manual.texinfo
index 7c11b22..747a177 100644
--- a/Manuals/Texinfo/Directories/trunk/Manual.texinfo
+++ b/Manuals/Texinfo/Directories/trunk/Manual.texinfo
@@ -17,7 +17,7 @@ The repository documentation manual is made of the following files:
 This file controls the visual style for XHTML output files of
 repository documentation manual.
 
-@item repository-index.texi
+@item repository-index.texinfo
 
 This file controls the index definition for source files of repository
 documentation manual.
@@ -32,12 +32,12 @@ This file provides the initialization script of @command{texi2html},
 the program used by @command{centos-art.sh} script to produce the
 XHTML output of repository documentation manual.
 
-@item repository-menu.texi
+@item repository-menu.texinfo
 
 This file controls the menu definition of chapters for source files of
 repository documentation manual.
 
-@item repository-node.texi
+@item repository-node.texinfo
 
 This file controls the node definition of chapters for source files of
 repository documentation manual.
@@ -51,7 +51,7 @@ This file provides the PDF output of repository documentation manual.
 This file provides post-transformations for XHTML output files. In
 this file is where XHTML definitions for admonitions are set in.
 
-@item repository.texi
+@item repository.texinfo
 
 This is the source file of repository documentation manual where
 the manual structure initialization is set.