9000_doc_build-pdf-noddvi+ps.patch
