SRCDIR = web/home
LDDLDIR = web/lddl
XHTBLDIR = bin/xhtbl
-HTMLDIR = static/lddl
+HTMLDIR = html/lddl
JEDDIR = $(HOME)/mps/jed
BIBDIR = $(HOME)/texmf/bibtex/bib
CONTRIBDIR = $(ETCDIR)/lambdadelta
MATITA = matita/root matita/grundlagen_2.ma
XMLLINT = xmllint --noout
-XSLT = xalan
+XSLT = xsltproc
XHTBL = $(XHTBLDIR)/xhtbl.native
XHTBLOPTS =
@echo XMLLINT --valid
$(H)$(XMLLINT) --valid $^
-$(ETCDIR)/make-html.sh $(XMLDIR)/index.txt index:
+$(ETCDIR)/make_html.sh $(XMLDIR)/index.txt index:
@echo " GENERATE INDEXES"
$(H)find $(XMLDIR) -name "*.ld.xml" | sed s/.xml//g | sed s/xml/ld:/g > $(XMLDIR)/index.txt
$(H)sed "s/^/make --no-print-directory /" $(XMLDIR)/index.txt | sed s.ld:/.. > $(ETCDIR)/make_html.sh
up-html:
@echo " UPDATE $(RHOMEDIR)/html/"
- $(H)scp -q -r html $(RHOMEDIR)
+ $(H)scp -q html/*.html $(RHOMEDIR)/html/
up-css:
@echo " UPDATE $(RHOMEDIR)/css/"
%.ld:
@echo " XSLT $@"
$(H)mkdir -p $(LDDLDIR)/$(@D)
- $(H)$(XSLT) $(XSLT_OUT) $(LDDLDIR)/$@.ldw.xml $(XSLT_XSL) $(XSLTDIR)/lddl.xsl $(XSLT_IN) $(XMLDIR)/$@.xml
+ $(H)$(XSLT) --novalid $(XSLT_OUT) $(LDDLDIR)/$@.ldw.xml $(XSLT_XSL) $(XSLTDIR)/lddl.xsl $(XSLT_IN) $(XMLDIR)/$@.xml
$(H)mkdir -p $(HTMLDIR)/$(@D)
$(H)$(XSLT) $(XSLT_OUT) $(HTMLDIR)/$@.html $(XSLT_XSL) $(XSLTDIR)/ld_web.xsl $(XSLT_IN) $(LDDLDIR)/$@.ldw.xml