> Is 'make html-docs' just supposed to work, or is there some unwritten
> stuff I need to do to get it to work?
It certainly just-works for me, but perhaps that's not robust over
different distros and which packages are installed. I just tried
on openSUSE 10.2 (amd64) and 10.3 (on ppc32) and it
I tried make html-docs from the docs/ directory but got network access
errors. I noticed that the --nonet option was used on the xsltproc
invocation, and some comment in the main Makefile that building the docs
is slow and intentionally left as the last thing to build. Was the
--nonet option
