Sped-up repeated documentation building.

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