#! /bin/sh

cd "`dirname \"$0\"`"/../docs &&
exec ./rebuild