diff options
author | Marcus Brinkmann <marcus@gnu.org> | 2002-04-20 03:11:42 +0000 |
---|---|---|
committer | Marcus Brinkmann <marcus@gnu.org> | 2002-04-20 03:11:42 +0000 |
commit | 4326834ca6c1fae1ab7f72f262ec2f4214928dd3 (patch) | |
tree | 7f1193925ca804d0e487caae6a9932fb93190225 | |
parent | e5e3b77d1e9beb8b614279ceb285081203e67c22 (diff) |
2002-04-20 Marcus Brinkmann <marcus@gnu.org>
* hurd.texi: Fix section nesting in last change.
-rw-r--r-- | doc/ChangeLog | 4 | ||||
-rw-r--r-- | doc/hurd.texi | 10 |
2 files changed, 6 insertions, 8 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index cec6fd8f..4b9924ad 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,7 @@ +2002-04-20 Marcus Brinkmann <marcus@gnu.org> + + * hurd.texi: Fix section nesting in last change. + 2002-02-11 James A. Morrison <ja2morri@student.math.uwaterloo.ca> * hurd.texi (Translators): Document the options for showtrans and diff --git a/doc/hurd.texi b/doc/hurd.texi index dc066f52..818a2e34 100644 --- a/doc/hurd.texi +++ b/doc/hurd.texi @@ -846,7 +846,7 @@ $ @kbd{boot -d -D /mnt -I /mnt/boot/servers.boot /dev/hd2s1} @end example @item -See @pxref{boot Options} for help with boot. +See @pxref{Invoking boot} for help with boot. @end enumerate Note that it is impossible to share microkernel devices between the two @@ -869,13 +869,7 @@ to your old configuration (with the new Hurd servers). @node Invoking boot -@section Invoking boot -@menu -* boot Options:: Boot program command line options -@end menu - -@node Boot bptions -@subsection boot Options +@subsection Invoking boot Usage: boot [@var{option}@dots{}] @var{boot-script} @var{device}@dots{} |