From 390de3f72df749a6f153e59e2620503657ce9eab Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 17 Apr 2012 14:07:27 +0000
Subject: [PATCH] Fixed w.r.t. new yelp.

---
 matita/matita/help/C/matita.xml | 2 --
 1 file changed, 2 deletions(-)

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>
-- 
2.39.2