--- gcc/gcc.info-14	2018/04/24 18:24:08	1.1.1.8
+++ gcc/gcc.info-14	2018/04/24 18:41:37	1.1.1.9
@@ -1,5 +1,5 @@
-This is Info file gcc.info, produced by Makeinfo-1.55 from the input
-file gcc.texi.
+This is Info file gcc.info, produced by Makeinfo version 1.67 from the
+input file gcc.texi.
 
    This file documents the use and the internals of the GNU compiler.
 
@@ -909,7 +909,7 @@ must either be done at compile-time or X
 
 `(float_extend:M X)'
      Represents the result of extending the value X to machine mode M.
-     m must be a floating point mode and X a floating point value of a
+     M must be a floating point mode and X a floating point value of a
      mode narrower than M.
 
 `(truncate:M X)'