[gentoo-user] GHC and documentation

2007-08-14 Thread Iván Pérez Domínguez
Hi, I just checked that GHC has no use flags other than doc. My first question is: can its documentation be generated without having to compile ghc? Shouldn't its documentation be included as a different package? (ghc's doc use flag pulling ghc-doc as a post-installation dependency). Cheers,

Re: [gentoo-user] GHC and documentation

2007-08-14 Thread Boyd Stephen Smith Jr.
On Tuesday 14 August 2007, Iván Pérez Domínguez [EMAIL PROTECTED] wrote about '[gentoo-user] GHC and documentation': Shouldn't its documentation be included as a different package? That may be the way Debian does things, but gentoo does not split documentation, header files, or debug