documentation build

Here's a little something to simplify the documentation build.