X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2FMakefile;h=2ae59df911656519f35efb5d880ec56672a44c1b;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=3e21d861170e358bf2d5b37f60a1e3d693b5c737;hpb=61e1e56a7ecee8cea2d86e3239ed491f1d9e4a51;p=helm.git

diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile
index 3e21d8611..2ae59df91 100644
--- a/helm/searchEngine/Makefile
+++ b/helm/searchEngine/Makefile
@@ -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: