From bccf5a543b4290d313bdbe9645b476f979a9fab7 Mon Sep 17 00:00:00 2001
From: Ismael Olea <olea@src.gnome.org>
Date: Sun, 27 Apr 2003 13:38:50 +0000
Subject: some Docbook taggin

svn path=/trunk/; revision=20976
---
 help/C/usage-exec-summary.xml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/help/C/usage-exec-summary.xml b/help/C/usage-exec-summary.xml
index 8725487f30..69eab4f91c 100644
--- a/help/C/usage-exec-summary.xml
+++ b/help/C/usage-exec-summary.xml
@@ -79,7 +79,7 @@
 	      <menuchoice>
 		<guimenu>Tools</guimenu>
 		<guimenuitem>Settings</guimenuitem> </menuchoice> and
-		select the Summary Preferences tool.
+		select the <guilabel>Summary Preferences</guilabel> tool.
 	    </para>
 	  </listitem>
 	  <listitem>
@@ -117,7 +117,7 @@
 	      <menuchoice>
 		<guimenu>Tools</guimenu>
 		<guimenuitem>Settings</guimenuitem> </menuchoice> and
-		select the Summary Preferences tool. Then, choose the
+		select the <guilabel>Summary Preferences</guilabel> tool. Then, choose the
 		<guilabel>News Feeds</guilabel> tab.
 	    </para>
 	  </listitem>
@@ -157,7 +157,7 @@
 	      <menuchoice>
 		<guimenu>Tools</guimenu>
 		<guimenuitem>Settings</guimenuitem> </menuchoice> and
-		select the Summary Preferences tool.
+		select the <guilabel>Summary Preferences</guilabel> tool.
 	    </para>
 	  </listitem>	
 	  <listitem>
@@ -190,7 +190,7 @@
 	      <menuchoice>
 		<guimenu>Tools</guimenu>
 		<guimenuitem>Settings</guimenuitem> </menuchoice> and
-		select the Summary Preferences tool.
+		select the <guilabel>Summary Preferences</guilabel> tool.
 	    </para>
 	  </listitem>
 	  <listitem>
-- 
cgit