]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile
xml: bug fix
[helm.git] / helm / software / lambda-delta / Makefile
index 96412768cc7cbdb171b666c101fcacab34c080b7..a561cdd9f455fcf7dbe1571874dab59055a780d9 100644 (file)
@@ -36,8 +36,10 @@ xml-si: $(MAIN).opt
        @echo "  HELENA -u -x $(INPUT)"
        $(H)./$(MAIN).opt -u -x -s 2 -S 1 $(INPUT) > log.txt
 
-html:
-       @$(MAKE) --no-print-directory grundlagen/l/not.ld
+html: LDS = $(shell cat $<)
+
+html: xml/index.txt
+       @$(MAKE) --no-print-directory $(LDS:ld:/%=%)
 
 %.ld: BASEURL = --stringparam baseurl $(STATIC)