]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/Makefile
ocaml 3.09 transition
[helm.git] / helm / searchEngine / Makefile
index 3e21d861170e358bf2d5b37f60a1e3d693b5c737..2ae59df911656519f35efb5d880ec56672a44c1b 100644 (file)
@@ -13,7 +13,7 @@ CMXS = $(patsubst %,%.cmx,$(MODULES))
 all: byte html
 world: byte opt
 byte: searchEngine
-opt: searchEngine.opt
+opt: searchEngine.opt html
 
 .PHONY: html
 html: