Installing _all_ documentation?

[Peter Simons]

Pardon me if this is a dumb question, but is there a make target,
which I can use to install all documentation that comes with the
build? I am aware of "make install-docs", but this doesn't build nor
install, say, the user's guide. Nor does it install documentation for
Alex or Happy, even though I'm building those tools as part of GHC.

Any obvious solutions?

Peter