- tweak log example to end in .txt

This commit is contained in:
Bryce Denney 2002-12-05 20:32:07 +00:00
parent 80cfa9be9a
commit 9d396feb3a

View File

@ -1,7 +1,7 @@
<!-- <!--
================================================================ ================================================================
doc/docbook/user/user.dbk doc/docbook/user/user.dbk
$Id: user.dbk,v 1.80 2002-12-05 20:25:40 bdenney Exp $ $Id: user.dbk,v 1.81 2002-12-05 20:32:07 bdenney Exp $
This is the top level file for the Bochs Users Manual. This is the top level file for the Bochs Users Manual.
================================================================ ================================================================
@ -2701,7 +2701,7 @@ the "wx" display library.
<para> <para>
Examples: Examples:
<screen> <screen>
log: bochs.out log: bochsout.txt
log: /dev/tty (unix only) log: /dev/tty (unix only)
log: /dev/null (unix only) log: /dev/null (unix only)
</screen> </screen>
@ -6361,7 +6361,7 @@ directory called ~/win98 .
======================================================================== ========================================================================
bximage bximage
Disk Image Creation Tool for Bochs Disk Image Creation Tool for Bochs
$Id: user.dbk,v 1.80 2002-12-05 20:25:40 bdenney Exp $ $Id: user.dbk,v 1.81 2002-12-05 20:32:07 bdenney Exp $
======================================================================== ========================================================================
Do you want to create a floppy disk image or a hard disk image? Do you want to create a floppy disk image or a hard disk image?
@ -6637,7 +6637,7 @@ In this case, <emphasis>/home</emphasis> is mounted on <emphasis>/dev/hda5</emph
======================================================================== ========================================================================
bximage bximage
Disk Image Creation Tool for Bochs Disk Image Creation Tool for Bochs
$Id: user.dbk,v 1.80 2002-12-05 20:25:40 bdenney Exp $ $Id: user.dbk,v 1.81 2002-12-05 20:32:07 bdenney Exp $
======================================================================== ========================================================================
Do you want to create a floppy disk image or a hard disk image? Do you want to create a floppy disk image or a hard disk image?