<div dir="ltr">Hello,<div><br></div><div>never mind, I figured it out---apparently the build targets were disabled for the `quick` flavor, which I was using. </div><div><br></div><div>It is quite confusing that we can be setting the same variable to different values in different places.   It would also be quite helpful if we modified the Makefile to say `documentation build target is disabled` or some such, rather then going ahead and building the whole of GHC, only at the end to inform me that it doesn't know what is `html`. </div><div><br></div><div>-Iavor</div><div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, Oct 31, 2017 at 2:26 PM Iavor Diatchki <<a href="mailto:iavor.diatchki@gmail.com">iavor.diatchki@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello,<div><br></div><div>sometime ago, I asked if it is possible to build just the GHC docs, without building the compiler.  I was told to just run `make html`.  This does not appear to work, the command seems to just start building GHC.  What am I doing wrong?</div><div><br></div><div>Here is the output I see, running the command from the root of the GHC tree.</div><div><br></div><div><div>> make html V=0</div><div>===--- building phase 0</div><div>make --no-print-directory -f <a href="http://ghc.mk" target="_blank">ghc.mk</a> phase=0 phase_0_builds</div><div>make[1]: Nothing to be done for 'phase_0_builds'.</div><div>===--- building phase 1</div><div>make --no-print-directory -f <a href="http://ghc.mk" target="_blank">ghc.mk</a> phase=1 phase_1_builds</div><div>  HC [stage 0] compiler/stage1/build/BufWrite.o</div><div>  HC [stage 0] compiler/stage1/build/Pretty.o</div><div>compilation IS NOT required</div><div>  HC [stage 0] compiler/stage1/build/PprColour.o</div><div>compilation IS NOT required</div><div>  HC [stage 0] compiler/stage1/build/Outputable.o</div><div>compilation IS NOT required</div><div>  HC [stage 0] compiler/stage1/build/Json.o</div><div>compilation IS NOT required</div><div>  HC [stage 0] compiler/stage1/build/SrcLoc.o</div><div>compilation IS NOT required</div><div>  HC [stage 0] compiler/stage1/build/BasicTypes.o</div><div>compilation IS NOT required</div><div>  HC [stage 0] compiler/stage1/build/Unique.o</div><div>  HC [stage 0] compiler/stage1/build/Packages.o-boot</div><div>compilation IS NOT required</div><div>  HC [stage 0] compiler/stage1/build/FiniteMap.o</div><div>compilation IS NOT required</div><div>  HC [stage 0] compiler/stage1/build/Name.o-boot</div></div><div><br></div><div>(then I interrupted it).</div><div><br></div><div>Also, in `mk/<a href="http://config.mk" target="_blank">config.mk</a>` I see this:</div><div><div>BUILD_SPHINX_HTML        = YES</div></div></div><div dir="ltr"><div><br></div><div>-Iavor</div><div><br></div><div><br></div><div><br></div></div></blockquote></div>