I didn't know of any command to compile the docs to a single file,
other than the pdf output (see issue 2952). The command to compile
to html is just "cd doc; make html".
Oh, well you need to install make. Or you can read the Makefile and
figure out what commands need to be run for make html.