]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/Makefile
update in lambdadelta
[helm.git] / helm / www / lambdadelta / Makefile
index c58e3f597e013159f5d17b10f71676bf011a9b4d..1acebccc52d8f7354264b9d9e7295f06e67c64fa 100644 (file)
@@ -15,9 +15,9 @@ SITEDIR    = html
 HTMLDIR    = html/lddl
 SRCDIR     = web/home
 LDDLDIR    = web/lddl
-XHTBLDIR   = bin/xhtbl
-INDEXDIR   = bin/index
 ETCDIR     = etc
+XHTBLDIR   = $(ETCDIR)/lambdadelta/bin/xhtbl
+INDEXDIR   = $(ETCDIR)/lambdadelta/bin/index
 DOWNDIR    = download
 XSLTDIR    = xslt
 XMLDIR     = xml