From f7d7f2459b3b0409be5f168822be3b836ccc929b Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 4 Apr 2016 22:17:16 +0000 Subject: [PATCH] one file was missing --- helm/www/lambdadelta/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2