From c3158cbab847622c09b220f75190226ad2f6af4d Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 8 Apr 2005 16:28:18 +0000
Subject: [PATCH] bugfix: opt target should build html pages too

---
 helm/searchEngine/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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:
-- 
2.39.2