]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile
xml: first ld to xml stylesheets
[helm.git] / helm / software / lambda-delta / Makefile
index 665972224cdcff6a47925ba76abd3a3f3018af74..96412768cc7cbdb171b666c101fcacab34c080b7 100644 (file)
@@ -35,3 +35,16 @@ hal: $(MAIN).opt
 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
+
+%.ld: BASEURL = --stringparam baseurl $(STATIC)
+
+%.ld:
+       @echo "  XSLT $@"
+       $(H)mkdir -p static/$(@D)
+       $(H)$(XSLT) -o static/$@.html $(BASEURL) xml/ld-html.xsl xml/$@.xml
+
+index:
+       find xml -name "*.ld.xml" | sed s/.xml//g | sed s/xml/ld:/g > xml/index.txt