writedoc.py