On Tue, May 27, 2014 at 5:57 AM, Richard Eisenberg <eir@cis.upenn.edu> wrote:

To build the manual, yes, in my experience. Builds without the manual work fine.

Perhaps adding --nonet to the xsltproc command line is in order.