This uses the xelatex engine and a few style settings to make the PDF manual look more like the HTML manual.
Simon Large