From b118a58c14664b75c3a15d9af6e237b9ccf99ca1 Mon Sep 17 00:00:00 2001 From: Marcus Brinkmann Date: Sat, 6 Oct 2001 11:27:09 +0000 Subject: 2001-10-06 Marcus Brinkmann * doc/mach.texi: Fix direntry. --- ChangeLog | 4 ++++ doc/mach.texi | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index b4d7563..ccedb8b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2001-10-06 Marcus Brinkmann + + * doc/mach.texi: Fix direntry. + 2001-10-05 Marcus Brinkmann * 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. -- cgit v1.2.3