matita/matita/help/C/Makefile

   1
   2 #include ../../../Makefile.defs
   3
   4 XSLTPROC=xsltproc
   5 XHTML_XSL=xsl/matita-xhtml.xsl
   6 MAIN=matita.xml
   7 DEPS := $(wildcard *.xml)
   8
   9 DESTDIR = /usr/local/share/doc/matita/
  10
  11 all: quickref-stamp html-stamp pdf-stamp
  12
  13 quickref-stamp: tactics_quickref.xml declarative_tactics_quickref.xml
  14         touch $@
  15
  16 tactics_quickref.xml: xsl/tactic_quickref.xsl sec_tactics.xml
  17         $(XSLTPROC) --param declarative "''" $< matita.xml > $@
  18 declarative_tactics_quickref.xml: xsl/tactic_quickref.xsl sec_declarative_tactics.xml
  19         $(XSLTPROC) --param declarative "'declarative_'" $< matita.xml > $@
  20
  21 html: quickref-stamp html-stamp
  22 html-stamp: $(MAIN) $(DEPS) $(XHTML_XSL)
  23         $(XSLTPROC) $(XHTML_XSL) $<
  24         touch $@
  25
  26 pdf: quickref-stamp pdf-stamp
  27 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
  28         touch $@
  29
  30 %.pdf: %.xml
  31         dblatex -r scripts/fix-symbols.sh -t pdf $<
  32 %.dvi: %.xml
  33         dblatex -r scripts/fix-symbols.sh -t dvi $<
  34 %.ps: %.xml
  35         dblatex -r scripts/fix-symbols.sh -t ps $<
  36
  37 install: install-html install-pdf
  38 install-pdf: pdf-stamp
  39         mkdir -p $(DESTDIR)/pdf
  40         cp matita.pdf $(DESTDIR)/pdf
  41
  42 install-html: html-stamp
  43         mkdir -p $(DESTDIR)/html
  44         cp *.html *.css $(DESTDIR)/html
  45         test -d $(DESTDIR)/html/figures || mkdir $(DESTDIR)/html/figures
  46         cp figures/* $(DESTDIR)/html/figures/
  47
  48 clean:
  49         rm -f *.html *.pdf *.ps *.dvi *.tex
  50         rm -f *-stamp
  51