From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 7 Feb 2006 23:08:27 +0000 (+0000)
Subject: "sec_" prefix for section IDs
X-Git-Tag: make_still_working~7601
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e15e22b0bb0723470473e37ccbcd75b90494c614;p=helm.git

"sec_" prefix for section IDs
---

diff --git a/helm/software/matita/help/C/matita.xml b/helm/software/matita/help/C/matita.xml
index ab08a6f9c..45e993b05 100644
--- a/helm/software/matita/help/C/matita.xml
+++ b/helm/software/matita/help/C/matita.xml
@@ -149,7 +149,7 @@
 
  <!-- ============= Application License ============================= -->
 
- <sect1 id="license">
+ <sect1 id="sec_license">
   <title>License</title>
   &license;
  </sect1>
diff --git a/helm/software/matita/help/C/sec_install.xml b/helm/software/matita/help/C/sec_install.xml
index 09bc9d740..35d7ff900 100644
--- a/helm/software/matita/help/C/sec_install.xml
+++ b/helm/software/matita/help/C/sec_install.xml
@@ -245,7 +245,7 @@
 
 	  <varlistentry>
 	    <term>&TODO;</term>
-	    <listitem>&TODO;</listitem>
+	    <listitem><para>&TODO;</para></listitem>
 	  </varlistentry>
 
 	</variablelist>
diff --git a/helm/software/matita/help/C/sec_tactics.xml b/helm/software/matita/help/C/sec_tactics.xml
index a423f37c4..e658178ca 100644
--- a/helm/software/matita/help/C/sec_tactics.xml
+++ b/helm/software/matita/help/C/sec_tactics.xml
@@ -1,6 +1,6 @@
 
 <!-- ============ Tactics ====================== -->
-<sect1 id="tactics">
+<sect1 id="sec_tactics">
  <title>Tactics</title>
 
   <sect2 id="tac_absurd">
@@ -187,3 +187,4 @@
   </sect2>
 
 </sect1>
+