[docs] doctype.py