--- gcc/gcc.info-18	2018/04/24 18:25:15	1.1.1.6
+++ gcc/gcc.info-18	2018/04/24 18:42:19	1.1.1.7
@@ -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.