--- Gnu-Mach/doc/mach.info-2	2020/09/02 04:51:23	1.1.1.3
+++ Gnu-Mach/doc/mach.info-2	2020/09/02 04:53:29	1.1.1.4
@@ -1,9 +1,9 @@
-This is mach.info, produced by makeinfo version 6.0 from mach.texi.
+This is mach.info, produced by makeinfo version 6.1 from mach.texi.
 
 This file documents the GNU Mach microkernel.
 
-   This is edition 0.4, last updated on 30 October 2015, of 'The GNU
-Mach Reference Manual', for version 1.6.
+   This is edition 0.4, last updated on 16 May 2016, of 'The GNU Mach
+Reference Manual', for version 1.7.
 
    Copyright (C) 2001, 2002, 2006, 2007, 2008 Free Software Foundation,
 Inc.