From 9d396feb3a6eb4fe1db1f9cfef94ceb060b41722 Mon Sep 17 00:00:00 2001
From: Bryce Denney <bryce@tlw.com>
Date: Thu, 5 Dec 2002 20:32:07 +0000
Subject: [PATCH] - tweak log example to end in .txt

---
 bochs/doc/docbook/user/user.dbk | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/bochs/doc/docbook/user/user.dbk b/bochs/doc/docbook/user/user.dbk
index a6ebbee1b..2faadc631 100644
--- a/bochs/doc/docbook/user/user.dbk
+++ b/bochs/doc/docbook/user/user.dbk
@@ -1,7 +1,7 @@
 <!--
 ================================================================
 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.
 ================================================================
@@ -2701,7 +2701,7 @@ the "wx" display library.
 <para>
 Examples:
 <screen>
-  log: bochs.out
+  log: bochsout.txt
   log: /dev/tty               (unix only)
   log: /dev/null              (unix only)
 </screen>
@@ -6361,7 +6361,7 @@ directory called ~/win98 .
 ========================================================================
                                 bximage
                   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?
@@ -6637,7 +6637,7 @@ In this case, <emphasis>/home</emphasis> is mounted on <emphasis>/dev/hda5</emph
 ========================================================================
                                 bximage
                   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?