diff -up waf-1.5.2/doc/book/wscript.orig waf-1.5.2/doc/book/wscript --- waf-1.5.2/doc/book/wscript.orig 2008-12-22 00:30:46.000000000 +0100 +++ waf-1.5.2/doc/book/wscript 2009-01-16 17:35:02.000000000 +0100 @@ -87,8 +87,8 @@ def build(bld): obj.source = 'waf.xml' obj.type = 'html' - obj.stylesheet='/usr/share/xml/docbook/stylesheet/nwalsh/current/html/chunk.xsl' - #obj.stylesheet='/usr/share/sgml/docbook/xsl-stylesheets/html/chunk.xsl' + #obj.stylesheet='/usr/share/xml/docbook/stylesheet/nwalsh/current/html/chunk.xsl' + obj.stylesheet='/usr/share/sgml/docbook/xsl-stylesheets/html/chunk.xsl' #obj.stylesheet = '/home/tnagy/docbook-xsl-snapshot/html/chunk.xsl' #obj.type = 'pdf'