Modify build_doc.py