docs: build as PDF instead of PostScript