configure flags: --prefix=/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/tmp_prefix  --with-batik=/nix/store/3jxr8rrimcvvlpcxlar2n0pc5492491c-batik-1.6 --with-docbook-xml=/nix/store/1ly7yc1vnmn1h0marvbnffz07zqjkkm5-docbook5-5.0 --with-docbook-xsl=/nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0 
checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install -c
checking whether build environment is sane... yes
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking for the SVN revision of the source tree... 18721
checking for java... /nix/store/kxh3m9izkr6rzvzwc0mvc22fq4z7yiis-jre-1.6.0_11/bin/java
checking for /nix/store/1ly7yc1vnmn1h0marvbnffz07zqjkkm5-docbook5-5.0/xml/rng/docbook/docbook.rng... yes
checking for /nix/store/1ly7yc1vnmn1h0marvbnffz07zqjkkm5-docbook5-5.0/xml/rng/docbook/docbookxi.rng... yes
checking for /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html/docbook.xsl... yes
checking for /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html/chunk.xsl... yes
checking for /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/xhtml/docbook.xsl... yes
checking for /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/xhtml/chunk.xsl... yes
checking for /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/manpages/docbook.xsl... yes
checking for xsltproc... xsltproc
checking whether xsltproc works... yes
checking for xmllint... xmllint
checking for jing... jing
checking whether jing works... yes
checking whether all docbook stuff is available... yes
checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install -c
configure: creating ./config.status
config.status: creating Makefile
config.status: creating prepare-manual.sh
config.status: creating src/Makefile
config.status: creating doc/Makefile
config.status: creating svg/Makefile
config.status: creating html/Makefile
config.status: creating html/chunk-chapter/Makefile
config.status: creating html/chunk-part/Makefile
config.status: creating html/chunk-book/Makefile
config.status: creating html/one-page/Makefile
config.status: creating pdf/Makefile
config.status: creating man/Makefile