From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 17 Apr 2012 14:07:27 +0000 (+0000)
Subject: Fixed w.r.t. new yelp.
X-Git-Tag: make_still_working~1810
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=390de3f72df749a6f153e59e2620503657ce9eab;p=helm.git

Fixed w.r.t. new yelp.
---

diff --git a/matita/matita/help/C/matita.xml b/matita/matita/help/C/matita.xml
index aa45a806a..c3754da23 100644
--- 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>