bugfix: opt target should build html pages too

diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile
index 3e21d861170e358bf2d5b37f60a1e3d693b5c737..2ae59df911656519f35efb5d880ec56672a44c1b 100644 (file)
--- 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: