Generating HTML version of the manual without a redirect