hgbook

changeset 747:23ebfe2bd091

Fiddling with build scripts.
author Giulio@puck
date Fri Jul 10 18:38:26 2009 +0200 (2009-07-10)
parents 00d5f5afdd41
children 18e65b2dc951
files it/Makefile it/web/genindex.py
line diff
     1.1 --- a/it/Makefile	Fri Jul 10 18:27:21 2009 +0200
     1.2 +++ b/it/Makefile	Fri Jul 10 18:38:26 2009 +0200
     1.3 @@ -1,10 +1,18 @@
     1.4  include Makefile.vars
     1.5  
     1.6 +# Makefile.vars include the following system-dependent variables:
     1.7 +#
     1.8 +# dtd-url = the location of the DocBook 4.5 DTD on your filesystem
     1.9 +# system-xsl-dir = the location of DocBook XSLT on your filesystem
    1.10 +# python = the location of Python 3.x on your filesystem
    1.11 +
    1.12  xml-src-files := \
    1.13  	00book.xml \
    1.14  	$(wildcard ch*.xml)
    1.15  	#$(wildcard app*.xml)
    1.16 -	
    1.17 +
    1.18 +xsltproc-opts := --nonet --xinclude
    1.19 +xmllint-opts := --noout --nonet --valid --path '$(dtd-url)'
    1.20      
    1.21  obj-web := html
    1.22  figs-web := ${obj-web}/figs
    1.23 @@ -38,7 +46,7 @@
    1.24  	sed -i -e "s|{% block bodycontent %}{% endblock %}|$(shell cat $(web-local)/index-read.html.in)|g" ${obj-web}/index.html
    1.25  
    1.26  $(web-local)/genindex.py: $(xml-src-files)
    1.27 -	cd $(web-local) && ./genindex.py
    1.28 +	cd $(web-local) && $(python) genindex.py
    1.29  
    1.30  valid: .validated-00book.xml
    1.31  
     2.1 --- a/it/web/genindex.py	Fri Jul 10 18:27:21 2009 +0200
     2.2 +++ b/it/web/genindex.py	Fri Jul 10 18:38:26 2009 +0200
     2.3 @@ -1,4 +1,4 @@
     2.4 -#!C:/Programmi/Python30/python
     2.5 +# This script works with Python 3.0 or above
     2.6  
     2.7  import glob, os, re
     2.8