Update GenerateHtDocs.cmake.in for keyid-gui