Generating HTML docs in a convenient way for github pages