Giulio@720: include Makefile.vars
Giulio@720: 
Giulio@720: xml-src-files := \
Giulio@720: 	00book.xml \
Giulio@720: 	#app*.xml \
Giulio@720: 	ch*.xml
Giulio@720:     
Giulio@720: obj-web := html
Giulio@720: 
Giulio@720: html: ${obj-web}/index.html
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@720: 	xsltproc $(xsltproc-opts) -o $(obj-web)/x ../stylesheets/chunk-stylesheet.xsl 00book.xml
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@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: