typo: titleabbrev stuff should not be bold

diff --git a/helm/software/matita/help/C/sec_tactics.xml b/helm/software/matita/help/C/sec_tactics.xml
index 2e1f6f36565e8a32f32c921e63badaf964e26a36..712ce837a524ec2cd360fc94ad45f12e04fdf5e2 100644 (file)
--- a/helm/software/matita/help/C/sec_tactics.xml
+++ b/helm/software/matita/help/C/sec_tactics.xml
@@ -857,7 +857,7 @@ its constructor takes no arguments.</para>
   </sect1>
   <sect1 id="tac_injection">
     <title>injection</title>
-    <titleabbrev><emphasis role="bold">injection</emphasis></titleabbrev>
+    <titleabbrev>injection</titleabbrev>
     <para><userinput>injection p</userinput></para>
     <para>
       <variablelist>