diff docs/nitros9guide/ex.refentry @ 1053:b5ff125a1d60

Since this book was only typeset in fixed width, single-font, they used capitalization and quotes (") to show what was commands, files and just text. With today's formatting, this is not necessary, so everywhere capitalization was used to show a command the <command> element is now used instead, and everywhere a file is mentioned the <filename> element is used.
author roug
date Thu, 20 Mar 2003 20:19:53 +0000
parents c565a4700689
children 4dae346c4969
line wrap: on
line diff
--- a/docs/nitros9guide/ex.refentry	Thu Mar 20 13:41:42 2003 +0000
+++ b/docs/nitros9guide/ex.refentry	Thu Mar 20 20:19:53 2003 +0000
@@ -33,7 +33,7 @@
 waste memory space on SHELL.
 </para>
 <para>
-The &quot;ex&quot; command should always be the last command on a shell input
+The <command>ex</command> command should always be the last command on a shell input
 line because any command line following will never be processed.
 </para>
 <para>