]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/bin/xhtbl/Makefile
- one file and three lemmas added to Basic 2
[helm.git] / helm / www / lambda_delta / bin / xhtbl / Makefile
index 3cf252d5c118d8195efc1cd17b12d13eae837f7e..ee86004f71f443c9821065e79bd4bd3e835a31a2 100644 (file)
@@ -17,7 +17,7 @@ LDSRCDIR  = ../../etc/lambda_delta/
 HOMEDIR   = ../../
 
 TBLS  = $(SRCDIR)ld_basic_2_src.tbl $(LDSRCDIR)Basic_2/ld_Basic_2_sum.tbl
-XSLS  = xhtbl.xsl ld_basic_2_sum.xsl ld_basic_2_src.xsl
+XSLS  = xhtbl.xsl ld_Basic_2_sum.xsl ld_basic_2_src.xsl
 LDWEB = ld_web.xsl ld_web_root.xsl ld_web_library.xsl 
 
 %.html: BASEURL = --stringparam baseurl $(LDURL)