#! /bin/sh PYTHONPATH=.. exec make html