diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2009-06-02 13:49:43 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2009-06-02 13:49:43 +0000 |
| commit | cfe2fd2a36f43c1f998bb5e7c0cec15480ed3f96 (patch) | |
| tree | 20808b4bef6320497def03be470b2b16095b0f9a /rts/Printer.c | |
| parent | 467f1aa698446b99d365122a2a30d1618f2bec74 (diff) | |
| download | haskell-cfe2fd2a36f43c1f998bb5e7c0cec15480ed3f96.tar.gz | |
tidy up autoconfiguration of docbook stuff
* 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)
Diffstat (limited to 'rts/Printer.c')
0 files changed, 0 insertions, 0 deletions