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