#!/usr/bin/env bash
set -eu
make -C "$(dirname "$0")"/../docs clean html