all: ./gendoc.py