#1051: Generate html that has only a single page -------------------------------------+-------------------------------------- Reporter: eschnett | Owner: Type: enhancement | Status: new Priority: minor | Milestone: Component: EinsteinToolkit website | Version: Keywords: | -------------------------------------+-------------------------------------- When generating html documentation, generate also a version that consists of only a single page, to make searching easier.