]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/help/C/Makefile
definition of equivalence for local environments,
[helm.git] / 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 -rscripts/fix-symbols.sh -tpdf $< 
32 %.dvi: %.xml
33         dblatex -rscripts/fix-symbols.sh -tdvi $<
34 %.ps: %.xml
35         dblatex -rscripts/fix-symbols.sh -tps $<
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