From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 16 Mar 2005 16:16:06 +0000 (+0000)
Subject: make and clean also in html/
X-Git-Tag: V_0_6_3_3~6
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=61e1e56a7ecee8cea2d86e3239ed491f1d9e4a51;p=helm.git

make and clean also in html/
---

diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile
index 13c4f1eda..3e21d8611 100644
--- a/helm/searchEngine/Makefile
+++ b/helm/searchEngine/Makefile
@@ -10,11 +10,15 @@ SRCS = $(patsubst %,%.ml,$(MODULES)) $(patsubst %,%.mli,$(MODULES)) \
 CMOS = $(patsubst %,%.cmo,$(MODULES))
 CMXS = $(patsubst %,%.cmx,$(MODULES))
 
-all: byte
+all: byte html
 world: byte opt
 byte: searchEngine
 opt: searchEngine.opt
 
+.PHONY: html
+html:
+	make -C html/
+
 %.cmi: %.mli
 	$(OCAMLC) -c $<
 %.cmo %.cmi: %.ml
@@ -28,6 +32,7 @@ searchEngine.opt: $(CMXS) searchEngine.ml
 	$(OCAMLOPT) -linkpkg -o $@ $^
 
 clean:
+	make -C html/ clean
 	rm -f *.cm[aiox] *.o searchEngine{,.opt}
 
 .PHONY: depend