Sped-up repeated documentation building.
Review action.
Merge pull request #242 from pelson/doc_build_speedup

Sped-up repeated documentation building.