diff --git a/contrib/libgmp/gmp.texi b/contrib/libgmp/gmp.texi
index 7e6884eab74..9cce3f641c6 100644
--- a/contrib/libgmp/gmp.texi
+++ b/contrib/libgmp/gmp.texi
@@ -11,7 +11,7 @@
 @ifinfo
 @format
 START-INFO-DIR-ENTRY
-* gmp: (gmp.info).               GNU Multiple Precision Arithmetic Library.
+* gmp: (gmp).                    GNU Multiple Precision Arithmetic Library.
 END-INFO-DIR-ENTRY
 @end format
 @end ifinfo