summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcus Brinkmann <marcus@gnu.org>2002-04-20 03:11:42 +0000
committerMarcus Brinkmann <marcus@gnu.org>2002-04-20 03:11:42 +0000
commit4326834ca6c1fae1ab7f72f262ec2f4214928dd3 (patch)
tree7f1193925ca804d0e487caae6a9932fb93190225
parente5e3b77d1e9beb8b614279ceb285081203e67c22 (diff)
2002-04-20 Marcus Brinkmann <marcus@gnu.org>
* hurd.texi: Fix section nesting in last change.
-rw-r--r--doc/ChangeLog4
-rw-r--r--doc/hurd.texi10
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{}