]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/Makefile
bug fix in xslt: missing ld namespace
[helm.git] / helm / www / lambda_delta / Makefile
index af82c9ba537936d70cefac8610c0b08c8a0c5145..206ee8efb14670cb6676a71e7d883d801b807675 100644 (file)
@@ -30,7 +30,7 @@ XMLS = brg_si/grundlagen/l/not.ld.xml \
        crg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.xml \
        crg_si/grundlagen/l/e/pairis1.ld.xml \
        crg_si/grundlagen/l/e/st/eq/landau/n/327/t25.ld.xml \
-#       brg_si/grundlagen/ccs.ldc.xml
+       brg_si/grundlagen/ccs.ldc.xml
 
 XMLLINT = xmllint --noout
 XSLT    = xsltproc
@@ -55,7 +55,7 @@ install-xml: $(XMLDIR)/index.txt
 test-html:
        @$(MAKE) --no-print-directory $(XMLS:%.xml=%)
 
-html: $(ETCDIR)/make-html.sh
+html: $(ETCDIR)/make_html.sh
        @echo "  MAKE */*.ld"
        $(H). $<
 
@@ -65,7 +65,7 @@ install-html: $(ETCDIR)/make_html.sh
 
 install-jed: $(SLS:%=$(JEDDIR)/%)
        @echo "  INSTALL $(SLS)"
-       $(H)scp $(SLS:%=$(JEDDIR)/%) $(DOWNDIR)
+       $(H)scp $^ $(DOWNDIR)
 
 install-bib: $(BIB:%=$(BIBDIR)/%)
        @echo "  INSTALL $(BIB)"
@@ -81,3 +81,5 @@ install-bib: $(BIB:%=$(BIBDIR)/%)
 
 %.ldc:
        @echo "  SKIP $@"
+
+.PHONY: $(TAGS)