diff --git a/Manuals/Texinfo/repository.texinfo b/Manuals/Texinfo/repository.texinfo
index 47f70f6..f1f32c4 100644
--- a/Manuals/Texinfo/repository.texinfo
+++ b/Manuals/Texinfo/repository.texinfo
@@ -41,14 +41,14 @@ Documentation License.
 @insertcopying
 @end ifnottex
 
-@include repository-menu.texi
+@include repository-menu.texinfo
 
 @c -- The Body of the Document --------------------------------
 
-@include repository-nodes.texi
+@include repository-nodes.texinfo
 
 @c -- The End of the Document ---------------------------------
 
-@include repository-index.texi
+@include repository-index.texinfo
 
 @bye