-
Simon Marlow authored
* use --nonet, so xmllint and co don't go off trying to download stuff from the web * use the http:// reference for the stylesheet, so we don't have to search the filesystem for it (should speedup ./configure)
cfe2fd2a
* use --nonet, so xmllint and co don't go off trying to download stuff from the web * use the http:// reference for the stylesheet, so we don't have to search the filesystem for it (should speedup ./configure)