Tweak docs building to be slightly neater