Update gendoc.py