"sec_" prefix for section IDs

diff --git a/helm/software/matita/help/C/matita.xml b/helm/software/matita/help/C/matita.xml
index ab08a6f9c5354ac466f460a55d20119db965460e..45e993b0538b7455695db8113bf9eba14b5e949c 100644 (file)
--- 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 09bc9d7405198bd0c0e046f3df75712436715594..35d7ff900a6d3771b9b1b00825533493603710f6 100644 (file)
--- 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 a423f37c419e08dd60bb1e14b3a7e21f326c3569..e658178ca339b02a4ca43d0022066e4105d211bd 100644 (file)
--- 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>
+