From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 8 Apr 2005 16:28:18 +0000 (+0000)
Subject: bugfix: opt target should build html pages too
X-Git-Tag: after_svn_merge~36
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c3158cbab847622c09b220f75190226ad2f6af4d;p=helm.git

bugfix: opt target should build html pages too
---

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: