# HG changeset patch
# User Giulio@puck
# Date 1247243906 -7200
# Node ID 23ebfe2bd0912e53d87302187587050fa807a335
# Parent  00d5f5afdd419a080d7aaee6cd1b406712f95458
Fiddling with build scripts.

diff -r 00d5f5afdd41 -r 23ebfe2bd091 it/Makefile
--- a/it/Makefile	Fri Jul 10 18:27:21 2009 +0200
+++ b/it/Makefile	Fri Jul 10 18:38:26 2009 +0200
@@ -1,10 +1,18 @@
 include Makefile.vars
 
+# Makefile.vars include the following system-dependent variables:
+#
+# dtd-url = the location of the DocBook 4.5 DTD on your filesystem
+# system-xsl-dir = the location of DocBook XSLT on your filesystem
+# python = the location of Python 3.x on your filesystem
+
 xml-src-files := \
 	00book.xml \
 	$(wildcard ch*.xml)
 	#$(wildcard app*.xml)
-	
+
+xsltproc-opts := --nonet --xinclude
+xmllint-opts := --noout --nonet --valid --path '$(dtd-url)'
     
 obj-web := html
 figs-web := ${obj-web}/figs
@@ -38,7 +46,7 @@
 	sed -i -e "s|{% block bodycontent %}{% endblock %}|$(shell cat $(web-local)/index-read.html.in)|g" ${obj-web}/index.html
 
 $(web-local)/genindex.py: $(xml-src-files)
-	cd $(web-local) && ./genindex.py
+	cd $(web-local) && $(python) genindex.py
 
 valid: .validated-00book.xml
 
diff -r 00d5f5afdd41 -r 23ebfe2bd091 it/web/genindex.py
--- a/it/web/genindex.py	Fri Jul 10 18:27:21 2009 +0200
+++ b/it/web/genindex.py	Fri Jul 10 18:38:26 2009 +0200
@@ -1,4 +1,4 @@
-#!C:/Programmi/Python30/python
+# This script works with Python 3.0 or above
 
 import glob, os, re