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