X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.0%2FMakefile;h=009d756d52ed23caae1dd03fcaeddd90af8c2cf3;hb=064b235360d702059b8b8154830365bca334bfde;hp=57a3849032a6e566e05ebb94a3cc6d153bc9cd82;hpb=bc14c3b3f2615a9a207412c8738098d8e8eee00a;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/Makefile b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/Makefile
index 57a384903..009d756d5 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/Makefile
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/Makefile
@@ -6,9 +6,15 @@ MLFLAGS += -I $(LABLGTKDIR) -I $(MINIDOMDIR)
 
 TARGETS = ml_gtk_mathview.o lablgtkmathview.cma
 
-all: $(TARGETS)
+all: Minidom $(TARGETS)
 
-opt: lablgtkmathviewopt
+opt: Minidom.opt lablgtkmathviewopt
+
+Minidom:
+	cd minidom ; make
+
+Minidom.opt:
+	cd minidom ; make opt
 
 configure:
 	@rm -f config.make
@@ -95,5 +101,6 @@ ml_gtk.o: $(LABLGTKDIR)/gtk_tags.c $(LABLGTKDIR)/gtk_tags.h \
 
 clean:
 	rm -f *.cm* *.o *.a *_tags.[ch] $(TARGETS)
+	cd minidom ; make clean
 
 include .depend