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. --- doc/mach.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') 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