Modify build_doc.py
Merge pull request #521 from dongweiming/modify_build_doc

Modify build_doc.py