Giulio@720: include Makefile.vars
Giulio@720: 
Giulio@720: xml-src-files := \
Giulio@720: 	00book.xml \
Giulio@722: 	$(wildcard ch*.xml)
Giulio@722: 	#$(wildcard app*.xml)
Giulio@722: 	
Giulio@720:     
Giulio@720: obj-web := html
Giulio@722: figs-web := ${obj-web}/figs
Giulio@731: script-web := $(obj-web)/javascript
Giulio@722: web-global := ../web
Giulio@722: web-local := web
Giulio@720: 
Giulio@722: html: ${obj-web}/index.html ${web-local}/index-read.html.in
Giulio@720: 
Giulio@720: #$(obj-web)/index.html: ../stylesheets/system-xsl .validated-00book.xml #../web/index-read.html.in
Giulio@720: $(obj-web)/index.html: .validated-00book.xml
Giulio@730: 	xsltproc $(xsltproc-opts) -o $(obj-web)/x ../stylesheets/it/web.xsl 00book.xml
Giulio@730: #	xsltproc $(xsltproc-opts) -o $(obj-web)/x ../stylesheets/chunk-stylesheet.xsl 00book.xml
Giulio@722: 	cp ${web-global}/styles.css ${obj-web}
Giulio@722: 	mkdir -p ${figs-web}
Giulio@722: 	cp -f ${web-global}/icons/*.png $(figs-web)
Giulio@730: 	cp -f examples/figs/*.png $(figs-web)
Giulio@731: 	mkdir -p $(script-web)
Giulio@731: 	cp -f $(web-local)/*.js $(script-web)
Giulio@722: 	sed -i -e "s|/support/||g" ${obj-web}/*.html
Giulio@720: #	python ../web/texpand.py ../web/index-read.html.in html/read/index.html
Giulio@720: #	for i in $(obj-web-read)/*.html; do \
Giulio@720: #	  gzip -9 -c $$i > $$i.gz; \
Giulio@720: #	done
Giulio@720: 
Giulio@720: #../stylesheets/system-xsl: $(system-xsl-dir)
Giulio@720: #	ln -s $< $@
Giulio@720: 
Giulio@722: $(web-local)/index-read.html.in: $(web-local)/genindex.py $(xml-src-files)
Giulio@722: 	cp $(web-local)/index-template.html $(obj-web)/index.html
Giulio@722: 	sed -i -e "s|{% block bodycontent %}{% endblock %}|$(shell cat $(web-local)/index-read.html.in)|g" ${obj-web}/index.html
Giulio@722: 
Giulio@722: $(web-local)/genindex.py: $(xml-src-files)
Giulio@722: 	cd $(web-local) && ./genindex.py
Giulio@722: 
Giulio@720: valid: .validated-00book.xml
Giulio@720: 
Giulio@720: .validated-00book.xml: $(xml-src-files) #examples/.run
Giulio@720: 	xmllint $(xmllint-opts) $<
Giulio@720: 	touch $@
Giulio@720: 
Giulio@722: clean:
Giulio@722: 	rm -f $(web-local)/index-read.html.in
Giulio@722: 	rm -rf $(obj-web)