Fix issue in Lua script that prevented doc generation, and upload the
generated doc into the repo.