Option (defaulting to on) to not install the GHC doc

[andreasabel]

Since I go through search engines like Google and Hoogle, I always browse documentation online and never locally. (I suppose that this is what the vast majority of developers does these days.)
So I find that the doc folder shipped by GHC is simply wasting lots of my disk space for no benefit:

.ghcup/ghc $  du -hd0 $(find -name doc | sort -n)                                                                
159M	./8.10.7/share/doc
511M	./9.0.2/share/doc
773M	./9.10.1/share/doc
826M	./9.12.1/share/doc
540M	./9.2.8/share/doc
584M	./9.4.8/share/doc
659M	./9.6.6/share/doc
697M	./9.8.4/share/doc

With all the Mac ARM compatible latest GHCs installed, this adds to more than 4.5GB.

It would be great if ghcup skipped installing these folders by default, with an option to not skip them.

I guess this would also reduce installation time a bit.
(Also think of all the CI runs installing the useless documentation for GHC...)

[hasufell]

I don't think we will ever disable docs per default. But in the future, we may potentially have a config option to do so.

The problem right now is that GHC does not have a stable/clean interface that I feel confident in relying on.

You can try: #1218

That would allow you to do something like:

ghcup install ghc 9.8.2 --install-targets="install_bin install_lib install_extra update_package_db"

But it's not released yet.