Generating docs

[Ralf Hinze]

> > What is the approved way of generating and installing docs?
> > I tried (from source)
> >
> > ./configure ...
> > make all
> > make install
> > make html
> > make dvi
> > make ps
> > make install-docs
> >
> > The latter command fails with (as usual with a bit of German :-)
>
> Do you have Haddock installed?  Did the configure script detect it?
>
> Cheers,
> 	Simon

No, of course not. Thanks.

BTW, why did you separate Haddock from GHC? I love these vicious
circles: to build GHC with docs you need Haddock, to build Haddock
you need GHC ...

Cheers, Ralf