Code Editor : builddoc.py