#!/bin/bash

make clean
make html