output (from pdfjadetex). Also updated instructions to install documentation processing toolchain.
Attach a file by drag & drop or click to upload
