Skip to content
  • Simon Marlow's avatar
    tidy up autoconfiguration of docbook stuff · cfe2fd2a
    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