summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMarcus Brinkmann <marcus@gnu.org>2001-10-06 11:27:09 +0000
committerMarcus Brinkmann <marcus@gnu.org>2001-10-06 11:27:09 +0000
commitb118a58c14664b75c3a15d9af6e237b9ccf99ca1 (patch)
tree5856a728fddb07c4110a02637e9899e7738c8df0 /doc
parentdb64ae3604a469089a17e4eaa8c442c1a8b9715c (diff)
2001-10-06 Marcus Brinkmann <marcus@gnu.org>
* doc/mach.texi: Fix direntry.
Diffstat (limited to 'doc')
-rw-r--r--doc/mach.texi2
1 files changed, 1 insertions, 1 deletions
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.