X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2FMakefile;fp=helm%2FsearchEngine%2FMakefile;h=2ae59df911656519f35efb5d880ec56672a44c1b;hb=c3158cbab847622c09b220f75190226ad2f6af4d;hp=3e21d861170e358bf2d5b37f60a1e3d693b5c737;hpb=a2af27c3ea450b0a1c60c5f8b7fed2818cc292e4;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: