bugfix ind docbook code for the relise of matita 0.99.3

[helm.git] / matita / matita / help / C / sec_usernotation.xml

diff --git a/matita/matita/help/C/sec_usernotation.xml b/matita/matita/help/C/sec_usernotation.xml
index e141bd85997a9a82ea23adf6395b2c9ab0867587..2972f8cb6455421cfca4c653e5926e30ce484245 100644 (file)
--- a/matita/matita/help/C/sec_usernotation.xml
+++ b/matita/matita/help/C/sec_usernotation.xml
@@ -2,7 +2,7 @@
 <!-- ============ User Notation ====================== -->
 <chapter id="sec_usernotation">
  <title>Extending the syntax</title>
-  Introduction: &TODO;
+<!--  Introduction: &TODO; -->
  <sect1>
   <title>notation</title>
   <titleabbrev>notation</titleabbrev>