build-docs.sh

#!/bin/bash
cd docs
make html