#!/bin/sh
# Change to this script directory
cd $(dirname "$0")

cd ../docs
./make--all
