The RPMs of documentation are currently not quite right - they don't contain any of the Haddock-generated docs or the index.html that ties it all together. We know about the problem, but no-one has had the time (or in my case, the RPM-savvyness) to fix it yet. Michael Weber said:

In the ghc5-doc Debian packages these files live under: /usr/share/doc/ghc5-doc/html/users_guide/

To install the html docs I used:

$(MAKE) -C build-stage$(MAXSTAGE) \ install-docs \ prefix=$(CURDIR)/$(destdir)/$(prefix) \ datadir=$(CURDIR)/$(destdir)/$(prefix)/share/doc/$(package)

with 'SGMLDocWays="html dvi ps"' in mk/build.mk.

Yes, that's the right way to do it. The docs are now set up so that when installed properly you should get an index.html in $(datadir)/ghc-5.04/html which points to the rest of the HTML docs.

Unfortunately, the link does not work here either, since the file users-guide.html is named book1.html :( . But that's another problem, I think, and likely related to docbook-utils.

Hmm, that's rather unfortunate. I think we might have to include some more conditional bits in index.html.in so that the links point to the right place in the case when the DocBook output ends up in book1.html instead of users_guide.html.

Unless anyone objects, I'll delay fixed Debian packages until 5.04.1 is released.

No problem. Cheers, Simon