#!/bin/sh

cd "$(dirname "$0")"
cd ..

exec make -C docs livehtml
