rev |
line source |
Giulio@720
|
1 include Makefile.vars
|
Giulio@720
|
2
|
Giulio@747
|
3 # Makefile.vars include the following system-dependent variables:
|
Giulio@747
|
4 #
|
Giulio@747
|
5 # dtd-url = the location of the DocBook 4.5 DTD on your filesystem
|
Giulio@747
|
6 # system-xsl-dir = the location of DocBook XSLT on your filesystem
|
Giulio@747
|
7 # python = the location of Python 3.x on your filesystem
|
Giulio@747
|
8
|
Giulio@720
|
9 xml-src-files := \
|
Giulio@720
|
10 00book.xml \
|
gpiancastelli@831
|
11 $(wildcard ch*.xml) \
|
gpiancastelli@831
|
12 $(wildcard app*.xml) \
|
gpiancastelli@831
|
13 bibliography.xml
|
Giulio@747
|
14
|
Giulio@747
|
15 xsltproc-opts := --nonet --xinclude
|
Giulio@747
|
16 xmllint-opts := --noout --nonet --valid --path '$(dtd-url)'
|
Giulio@720
|
17
|
Giulio@720
|
18 obj-web := html
|
gpiancastelli@835
|
19 figs-web-folder := $(obj-web)/figs
|
Giulio@731
|
20 script-web := $(obj-web)/javascript
|
Giulio@722
|
21 web-global := ../web
|
Giulio@722
|
22 web-local := web
|
Giulio@720
|
23
|
gpiancastelli@835
|
24 html: $(obj-web)/index.html $(web-local)/index-read.html.in
|
Giulio@720
|
25
|
Giulio@720
|
26 #$(obj-web)/index.html: ../stylesheets/system-xsl .validated-00book.xml #../web/index-read.html.in
|
Giulio@720
|
27 $(obj-web)/index.html: .validated-00book.xml
|
Giulio@730
|
28 xsltproc $(xsltproc-opts) -o $(obj-web)/x ../stylesheets/it/web.xsl 00book.xml
|
Giulio@730
|
29 # xsltproc $(xsltproc-opts) -o $(obj-web)/x ../stylesheets/chunk-stylesheet.xsl 00book.xml
|
gpiancastelli@835
|
30 cp $(web-global)/styles.css $(obj-web)
|
gpiancastelli@835
|
31 mkdir -p $(figs-web-folder)
|
gpiancastelli@835
|
32 cp -f $(web-global)/icons/*.png $(figs-web-folder)
|
gpiancastelli@835
|
33 cp -f examples/figs/*.png $(figs-web-folder)
|
Giulio@731
|
34 mkdir -p $(script-web)
|
Giulio@731
|
35 cp -f $(web-local)/*.js $(script-web)
|
gpiancastelli@835
|
36 sed -i -e "s|/support/||g" $(obj-web)/*.html
|
Giulio@720
|
37 # python ../web/texpand.py ../web/index-read.html.in html/read/index.html
|
Giulio@720
|
38 # for i in $(obj-web-read)/*.html; do \
|
Giulio@720
|
39 # gzip -9 -c $$i > $$i.gz; \
|
Giulio@720
|
40 # done
|
Giulio@720
|
41
|
Giulio@720
|
42 #../stylesheets/system-xsl: $(system-xsl-dir)
|
Giulio@720
|
43 # ln -s $< $@
|
Giulio@720
|
44
|
Giulio@722
|
45 $(web-local)/index-read.html.in: $(web-local)/genindex.py $(xml-src-files)
|
Giulio@722
|
46 cp $(web-local)/index-template.html $(obj-web)/index.html
|
Giulio@722
|
47 sed -i -e "s|{% block bodycontent %}{% endblock %}|$(shell cat $(web-local)/index-read.html.in)|g" ${obj-web}/index.html
|
Giulio@722
|
48
|
Giulio@722
|
49 $(web-local)/genindex.py: $(xml-src-files)
|
Giulio@747
|
50 cd $(web-local) && $(python) genindex.py
|
Giulio@722
|
51
|
Giulio@720
|
52 valid: .validated-00book.xml
|
Giulio@720
|
53
|
Giulio@720
|
54 .validated-00book.xml: $(xml-src-files) #examples/.run
|
Giulio@720
|
55 xmllint $(xmllint-opts) $<
|
Giulio@720
|
56 touch $@
|
Giulio@720
|
57
|
Giulio@722
|
58 clean:
|
Giulio@722
|
59 rm -f $(web-local)/index-read.html.in
|
Giulio@722
|
60 rm -rf $(obj-web)
|
Giulio@832
|
61
|
Giulio@832
|
62 image-folder := figs
|
Giulio@832
|
63 # graphs, figures, screenshots
|
Giulio@832
|
64 image-files := $(wildcard $(image-folder)/*.dot $(image-folder)/*.svg $(image-folder)/*.png)
|
Giulio@832
|
65 # graphs
|
Giulio@832
|
66 image-dot := $(filter %.dot, $(image-files))
|
Giulio@832
|
67 # figures
|
Giulio@832
|
68 image-svg := $(filter %.svg, $(image-files))
|
Giulio@832
|
69 # screenshots
|
Giulio@832
|
70 image-png := $(filter %.png, $(image-files))
|
Giulio@832
|
71
|
gpiancastelli@844
|
72 # this must already exists
|
Giulio@832
|
73 figs-folder := examples/figs
|
Giulio@832
|
74 figs-web := \
|
Giulio@832
|
75 $(image-dot:$(image-folder)/%.dot=$(figs-folder)/%.png) \
|
Giulio@832
|
76 $(image-svg:$(image-folder)/%.svg=$(figs-folder)/%.png) \
|
Giulio@832
|
77 $(image-png:$(image-folder)/%.png=$(figs-folder)/%.png)
|
Giulio@832
|
78
|
Giulio@832
|
79 figs: $(figs-web)
|
Giulio@832
|
80
|
Giulio@832
|
81 $(figs-folder)/%.png: $(image-folder)/%.svg
|
Giulio@832
|
82 inkscape -D -d 120 -e $@ $<
|
Giulio@832
|
83
|
Giulio@832
|
84 $(figs-folder)/%.png: $(figs-folder)/%.svg
|
gpiancastelli@844
|
85 inkscape -D -e $@ $<
|
Giulio@832
|
86 rm $<
|
Giulio@832
|
87
|
Giulio@832
|
88 $(figs-folder)/%.png: $(image-folder)/%.png
|
Giulio@832
|
89 cp $< $@
|
Giulio@832
|
90
|
Giulio@832
|
91 $(figs-folder)/%.svg: $(image-folder)/%.dot
|
Giulio@832
|
92 dot -Tsvg -o $@ $<
|