output (from pdfjadetex).  Also updated instructions to install documentation
processing toolchain.