From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 4 Oct 2004 09:42:53 +0000 (+0000)
Subject: added dependency on helm-xmldiff
X-Git-Tag: V_0_0_10~94
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2cd7e7b8d1338a4393846e2aa7eb20343661945c;p=helm.git

added dependency on helm-xmldiff
---

diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend
index 5075841eb..82b678e1e 100644
--- a/helm/gTopLevel/.depend
+++ b/helm/gTopLevel/.depend
@@ -15,14 +15,10 @@ termEditor.cmo: disambiguatingParser.cmi termEditor.cmi
 termEditor.cmx: disambiguatingParser.cmx termEditor.cmi 
 texTermEditor.cmo: disambiguatingParser.cmi texTermEditor.cmi 
 texTermEditor.cmx: disambiguatingParser.cmx texTermEditor.cmi 
-xmlDiff.cmo: xmlDiff.cmi 
-xmlDiff.cmx: xmlDiff.cmi 
 chosenTransformer.cmo: chosenTransformer.cmi 
 chosenTransformer.cmx: chosenTransformer.cmi 
-termViewer.cmo: chosenTransformer.cmi logicalOperations.cmi xmlDiff.cmi \
-    termViewer.cmi 
-termViewer.cmx: chosenTransformer.cmx logicalOperations.cmx xmlDiff.cmx \
-    termViewer.cmi 
+termViewer.cmo: logicalOperations.cmi termViewer.cmi 
+termViewer.cmx: logicalOperations.cmx termViewer.cmi 
 invokeTactics.cmo: logicalOperations.cmi proofEngine.cmi termEditor.cmi \
     termViewer.cmi invokeTactics.cmi 
 invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \
diff --git a/helm/gTopLevel/Makefile.in b/helm/gTopLevel/Makefile.in
index 74b93230b..82c3d2821 100644
--- a/helm/gTopLevel/Makefile.in
+++ b/helm/gTopLevel/Makefile.in
@@ -9,6 +9,7 @@ TEST_REQUIRES = \
 	helm-cic_textual_parser2 \
 	helm-cic_textual_parser \
 	helm-tex_cic_textual_parser \
+	helm-xmldiff \
 	lablgtk2 \
 	mathml-editor \
 	lablgtkmathview
@@ -44,7 +45,6 @@ INTERFACE_FILES = \
   	disambiguatingParser.mli \
 	termEditor.mli \
 	texTermEditor.mli \
-	xmlDiff.mli \
 	chosenTransformer.mli \
 	termViewer.mli \
 	invokeTactics.mli \