]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/Makefile
one file was missing
[helm.git] / helm / www / lambdadelta / Makefile
index 2696e9ddc894f117000000308a64fe174ca47521..5366cc649adbe3d12ac82860f9c2cfe0597ea28f 100644 (file)
@@ -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