doc: for ps to pdf conversion, use "acrodist", "ps2pdf" or "pstopdf"