Author: plavin
Date: 2006-12-06 22:40:04 +0100 (Wed, 06 Dec 2006)
New Revision: 4143
Log:
Add userinput tag
Modified:
trunk/workbench/installation.xml
trunk/workbench/overview.xml
Modified: trunk/workbench/installation.xml
===================================================================
--- trunk/workbench/installation.xml 2006-12-06 20:54:21 UTC (rev 4142)
+++ trunk/workbench/installation.xml 2006-12-06 21:40:04 UTC (rev 4143)
Changed blocks: 1, Lines Added: 1, Lines Deleted: 1; 635 bytes
@@ -225,7 +225,7 @@
</para>
<programlisting>
-tar --directory=/opt -xvzf
mysql-workbench-<replaceable>version</replaceable>-<replaceable>platform</replaceable>.tar.gz
+<userinput>tar --directory=/opt -xvzf
mysql-workbench-<replaceable>version</replaceable>-<replaceable>platform</replaceable>.tar.gz</userinput>
</programlisting>
</section>
Modified: trunk/workbench/overview.xml
===================================================================
--- trunk/workbench/overview.xml 2006-12-06 20:54:21 UTC (rev 4142)
+++ trunk/workbench/overview.xml 2006-12-06 21:40:04 UTC (rev 4143)
Changed blocks: 1, Lines Added: 1, Lines Deleted: 1; 433 bytes
@@ -688,7 +688,7 @@
<para>
For more information about the GRT shell see
- <xref linkend="grt-shell"/>
+ <xref linkend="grt-shell"/>.
</para>
| Thread |
|---|
| • svn commit - mysqldoc@docsrva: r4143 - trunk/workbench | plavin | 6 Dec |