Sped-up repeated documentation building.

Repeated build time goes from ~38 seconds to ~8.