Update makedoc.py