From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 4 Apr 2016 22:17:16 +0000 (+0000)
Subject: one file was missing
X-Git-Tag: make_still_working~612
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=f7d7f2459b3b0409be5f168822be3b836ccc929b

one file was missing
---

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index 2696e9ddc..5366cc649 100644
--- a/helm/www/lambdadelta/Makefile
+++ b/helm/www/lambdadelta/Makefile
@@ -41,7 +41,7 @@ XMLS = Environment/grundlagen_2/l/not.ld.xml \
        Environment/grundlagen_2/l/e/pairis1.ld.xml \
        Environment/grundlagen_2/l/e/st/eq/landau/n/327/t25.ld.xml \
 
-LDWEB = ld_web.xsl ld_web_root.xsl ld_web_library.xsl
+LDWEB = ld_web.xsl ld_web_root.xsl ld_web_library.xsl ld_web_ebnf.xsl
 
 AUTOMATH = examples/automath/grundlagen_2.aut
 COQ      = coq/grundlagen_2.v