]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
home.html.mid still around in the dependencies: removed
[helm.git] / helm / mowgli / home / html / Makefile
index 3f0e5a46639dcc65d4f9ed63ffd53df623f85298..30a76c0993269a872824ab7be136d230a04a0a81 100644 (file)
@@ -116,7 +116,7 @@ DOCUMENTS = \
 
 all: $(DOCUMENTS)
 
-home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.mid $(TEMPLATESROOT)/home.html.bot \
+home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \
           $(XMLROOT)/news.xml \
           $(XMLROOT)/other-events.xml \
           $(XSLROOT)/latest-news.xsl \