Don't assume the path of bash

builddocs.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 mkdocs build
 echo "The HTML files for the documentation can be found in the site/ subdirectory."
 echo "To view the docs in a browser run 'mkdocs serve'"