diff options
Diffstat (limited to 'contrib/libgmp/gmp.texi')
| -rw-r--r-- | contrib/libgmp/gmp.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/libgmp/gmp.texi b/contrib/libgmp/gmp.texi index 7e6884eab74a..9cce3f641c63 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 |