22 Apr
2010
22 Apr
'10
9:37 a.m.
On Thu, Apr 22, 2010 at 2:47 PM, Ashish SHUKLA
I think documentation is same everywhere so there is no point in re-generating them.
Except when the user does not need documentation :) Anyway: the documentation will be part of the officially pre-built ghc.tbz still, and I simply did not want to force the users of the port to download a double-sized bootstrap since the port does not seem to be taking advantage of that at the moment. :g