#!/bin/sh
cd `dirname $0`/../docs
make clean html pdf