matita/matita/help/C/Makefile

   1 XSLTPROC=xsltproc
   2 XHTML_XSL=xsl/matita-xhtml.xsl
   3 MAIN=matita.xml
   4 DEPS := $(wildcard *.xml)
   5
   6 all: quickref-stamp html-stamp pdf-stamp
   7
   8 quickref-stamp: tactics_quickref.xml declarative_tactics_quickref.xml
   9         touch $@
  10
  11 tactics_quickref.xml: xsl/tactic_quickref.xsl sec_tactics.xml
  12         $(XSLTPROC) --param declarative "''" $< matita.xml > $@
  13 declarative_tactics_quickref.xml: xsl/tactic_quickref.xsl sec_declarative_tactics.xml
  14         $(XSLTPROC) --param declarative "'declarative_'" $< matita.xml > $@
  15
  16 html: quickref-stamp html-stamp
  17 html-stamp: $(MAIN) $(DEPS) $(XHTML_XSL)
  18         $(XSLTPROC) $(XHTML_XSL) $<
  19         cp *.css html
  20         mv *.html html
  21         cp -R figures/* html/figures/
  22         touch $@
  23
  24 pdf: quickref-stamp pdf-stamp
  25 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
  26         touch $@
  27
  28 %.pdf: %.xml
  29         dblatex -r scripts/fix-symbols.sh -t pdf $<
  30 %.dvi: %.xml
  31         dblatex -r scripts/fix-symbols.sh -t dvi $<
  32 %.ps: %.xml
  33         dblatex -r scripts/fix-symbols.sh -t ps $<
  34
  35 clean:
  36         rm -f html/*.html html/*.css html/figures/* *.pdf *.ps *.dvi *.tex
  37         rm -f *-stamp