Problem with spec-prod/gh-pages mismatch

[dontcallmedom]

#1804 targets to update /index.html in the gh-pages branch, but the repo is currently configured to serve GH pages from /docs/index.html; either the action or the repo configuration needs to be fixed

[monica-ch]

We should look at updating the repo configuration. @siusin I don't have the necessary permissions, can you handle this?

cc @yoshisatoyanagisawa

[yoshisatoyanagisawa]

I understand we have to options to fix:

1. adjust the output directory as written in https://w3c.github.io/spec-prod/#change-output-location-for-built-files
2. change the gh page location upon https://docs.github.com/pages/getting-started-with-github-pages/configuring-a-publishing-source-for-your-github-pages-site

I guess the template default location is something people usually use. Considering the ease of future update, let me choose Option 2.

[yoshisatoyanagisawa]

Now it looks deployed.