22 Apr
2010
22 Apr
'10
2:08 p.m.
Gabor PALI writes:
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.
Nice, just looked again at the port's Makefile and docs are generated at the port build time anyways so there is no need to package docs in bootstrap tarballs. -- Ashish SHUKLA