#! /bin/sh
python get_doc.py
make singlehtml