#!/bin/bash
# Documentation builder
make clean
make html
cd _build/html/
zip -r ../html.zip *
cd ../..
cp -r _build/html .

