fix gen_doc.py