]> matita.cs.unibo.it Git - helm.git/blob - matita/help/C/Makefile
Integration f_algebras declassed.
[helm.git] / matita / help / C / Makefile
1
2 include ../../../Makefile.defs
3
4 XSLTPROC=xsltproc
5 XHTML_XSL=xsl/matita-xhtml.xsl
6 FO_XSL=xsl/matita-fo.xsl
7 TEX_XSL=xsl/matita-tex.xsl
8 TEX_UNICODE_PATH=$(SRCROOT)/share/texmf/unicode
9 TEX_ENV=TEXINPUTS=.:$(TEX_UNICODE_PATH):$(TEX_UNICODE_PATH)/data:
10 MAIN=matita.xml
11 DEPS := $(wildcard *.xml)
12
13 DESTDIR = /usr/local/share/doc/matita/
14
15 all: quickref
16
17 quickref: tactic_quickref.xml
18 tactic_quickref.xml: xsl/tactic_quickref.xsl sec_tactics.xml
19         $(XSLTPROC) $< matita.xml > tactic_quickref.xml
20
21 # one of: "fop", "pdflatex"
22 PDF_METHOD=pdflatex
23
24 # one of: "docbook2tex", "xsl"
25 TEX_METHOD=xsl
26
27 clean:
28         rm -f *.html *.fo *.pdf
29         rm -rf $(filter-out version.txt,$(wildcard *.txt))
30         rm -f *-stamp
31         rm -f matita.out matita.log matita.glo matita.dvi matita.idx
32         rm -f matita.aux matita.tex
33
34 # test (dumb implementation)
35 test:
36         SP_ENCODING=UTF-8 docbook2txt matita.xml
37
38 # XHTMLs generation
39
40 .PHONY: html
41 html: html-stamp
42 html-stamp: $(MAIN) $(DEPS) $(XHTML_XSL)
43         xsltproc $(XHTML_XSL) $<
44         touch $@
45
46 # TXTs generation
47
48 TXTS = $(patsubst %.html,%.txt,$(wildcard *.html))
49 .PHONY: txt
50 txt: txt-stamp
51 txt-stamp: html-stamp
52         $(MAKE) $(TXTS)
53         touch $@
54 %.txt: %.html
55         w3m -dump -no-graph $< > $@
56
57 # PDF generation
58
59 pdf: pdf-stamp
60 pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
61         touch $@
62
63 %.fo: %.xml
64         xsltproc $(FO_XSL) $< | xmllint --format - > $@
65 ifeq ($(TEX_METHOD),docbook2tex)
66 %.tex: %.xml $(DEPS)
67         docbook2tex $<
68 else ifeq ($(TEX_METHOD),xsl)
69 %.tex: %.xml $(TEX_XSL) $(DEPS)
70         xsltproc $(TEX_XSL) $< > $@
71 endif
72
73 ifeq ($(PDF_METHOD),fop)
74 %.pdf: %.fo
75         fop $< $@
76 else ifeq ($(PDF_METHOD),pdflatex)
77 %.pdf: %.tex
78         $(TEX_ENV) pdflatex $<
79 endif
80
81 %.dvi: %.tex
82         $(TEX_ENV) latex $<
83 %.ps: %.dvi
84         dvips $<
85
86 # installation
87
88 install: install-html
89 install-html: html-stamp
90         cp *.html *.css $(DESTDIR)
91         test -d $(DESTDIR)/figures || mkdir $(DESTDIR)/figures
92         cp figures/* $(DESTDIR)/figures/
93
94 # shotcuts
95
96 tex: $(patsubst %.xml,%.tex,$(MAIN))
97 dvi: $(patsubst %.xml,%.dvi,$(MAIN))
98 ps: $(patsubst %.xml,%.ps,$(MAIN))
99
100 .PRECIOUS: matita.tex matita.dvi
101