#!/usr/bin/env bash
set -e

cd "$(dirname "$0")/.."
cd docs
make html
echo "Documentation built successfully!"