[darcs-devel] [issue812] "make api-doc" fails with haddock error

[gwern]

Is there anything wrong with parsing the output of 'haddock --version'? That'll
give you something like 'Haddock version 0.9, (c) Simon Marlow 2006'. IIRC, the
configure script does similar ad-hocity for curl (to decide pipelining).

----------
nosy: +gwern

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue812>
__________________________________