<div dir="ltr">Dear devs,<br><br>Can We build the user's guide without building the ghc binary?<br>If so, new contributors can easily check the generated html.<br><br>When I execute the following command, a binary build is always executed.<br><br>  # vi mk/<a href="http://build.mk">build.mk</a>  <br>    (BuildFlavour = quick; BUILD_SPHINX_HTML = YES)<br><br>  # ./boot<br>  # ./configure<br>  # cd docs/users_guide/<br>  # make html<br><br>Is there a way to skip binary builds?<br><br>Regards,<br>Takenobu<br><br></div>