]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile
some inprovements on the generated html pages
[helm.git] / helm / software / lambda-delta / Makefile
index 353b70187066fccd7e265ba76d5162bdef5e2a53..a690738d3d522e70630654d7627fa159ff2fbc9b 100644 (file)
@@ -23,6 +23,8 @@ XMLS = xml/brg-si/grundlagen/l/not.ld.xml \
 
 include Makefile.common
 
+LDDLDIR = ../../../public_html/lddl
+
 HOME = .
 
 INPUT = examples/grundlagen/grundlagen.aut