On tor, 2009-12-10 at 09:59 -0800, Josh Berkus wrote:
> Given that, we should have a --without-docs build switch which allows us
> to disable the doc build.
Btw., if you really, really, really want to avoid the issue (if there
were any), go into the src directory and build there.