added make doc_pdf