Remove gendocs.py