diff options
Diffstat (limited to 'manual/maint.texi')
| -rw-r--r-- | manual/maint.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/maint.texi b/manual/maint.texi index 0c2ed5923e..e1fdbdbd2c 100644 --- a/manual/maint.texi +++ b/manual/maint.texi @@ -399,7 +399,7 @@ This directory is for @code{socket} and related functions on Unix systems. @item mach This is the directory for things based on the Mach microkernel from CMU -(including the GNU operating system). Other basic operating systems +(including @gnuhurdsystems{}). Other basic operating systems (VMS, for example) would have their own directories at the top level of the @file{sysdeps} hierarchy, parallel to @file{unix} and @file{mach}. @end table |