diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | doc/mach.texi | 2 |
2 files changed, 5 insertions, 1 deletions
@@ -1,3 +1,7 @@ +2001-10-06 Marcus Brinkmann <marcus@gnu.org> + + * doc/mach.texi: Fix direntry. + 2001-10-05 Marcus Brinkmann <marcus@gnu.org> * doc/mach.texi: Replace `path name' by `file name' in one place. diff --git a/doc/mach.texi b/doc/mach.texi index 3385433..3934f0f 100644 --- a/doc/mach.texi +++ b/doc/mach.texi @@ -6,7 +6,7 @@ @comment Tell install-info what to do. @dircategory Kernel @direntry -* GNU Mach: (mach). Using and programming the GNU Mach microkernel. +* GNUMach: (mach) Using and programming the GNU Mach microkernel. @end direntry @c Should have a glossary. |