From 711fccf758110e334a44e74fc0fea059c6ac7525 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 7 Feb 2006 23:08:27 +0000
Subject: [PATCH] "sec_" prefix for section IDs

---
 matita/help/C/matita.xml      | 2 +-
 matita/help/C/sec_install.xml | 2 +-
 matita/help/C/sec_tactics.xml | 3 ++-
 3 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/matita/help/C/matita.xml b/matita/help/C/matita.xml
index ab08a6f9c..45e993b05 100644
--- a/matita/help/C/matita.xml
+++ b/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/matita/help/C/sec_install.xml b/matita/help/C/sec_install.xml
index 09bc9d740..35d7ff900 100644
--- a/matita/help/C/sec_install.xml
+++ b/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/matita/help/C/sec_tactics.xml b/matita/help/C/sec_tactics.xml
index a423f37c4..e658178ca 100644
--- a/matita/help/C/sec_tactics.xml
+++ b/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>
+
-- 
2.39.2