Dear devs,

Can We build the user's guide without building the ghc binary?
If so, new contributors can easily check the generated html.

When I execute the following command, a binary build is always executed.

  # vi mk/build.mk 
    (BuildFlavour = quick; BUILD_SPHINX_HTML = YES)

  # ./boot
  # ./configure
  # cd docs/users_guide/
  # make html

Is there a way to skip binary builds?

Regards,
Takenobu