Fixed w.r.t. new yelp.

diff --git a/matita/matita/help/C/matita.xml b/matita/matita/help/C/matita.xml
index aa45a806a5f02b05125d3339cdc0c5542d421ff8..c3754da23fba0d8887022dc5fae163f0b16fdd70 100644 (file)
--- a/matita/matita/help/C/matita.xml
+++ b/matita/matita/help/C/matita.xml
@@ -73,8 +73,6 @@
   <!ENTITY enriched_term "<emphasis><link linkend='grammar.enriched_term'>enriched_term</link></emphasis>">
 ]>
 
-<?yelp:chunk-depth 3?>
-
 <book id="matita_manual" lang="en">
 
   <title>&app; V&appversion; User Manual (rev. &manrevision;)</title>