Faster documentation generation

Change-Id: I1093a3c5aa3c8a8020ca9f9c0687732bb4a05974