Incorrectly displayed version selector in non-versioned docs

[hyrodium]

We can generate non-versioned docs since #1616 is merged. But in the following case, versions will be displayed incorrectly.

• github.com/<user>/<user>.github.io is versioned
• github.com/<user>/<repo> is non-versioned

In this case, https://<user>.github.io/<repo> shows a version selector of github.com/<user>/<user>.github.io.

[fredrikekre]

Do you have a live example? I don't really understand the issue.

[hyrodium]

Here's an example:

• My homepage (github repo / github pages) is versioned.
  • The deployment is a bit tricky because I wanted to change the language using the version selector. However, this is the same as normal versioning.
• My seminar log (github repo / github pages) is non-versioned.

In the seminar log, I can see the version selector from the homepage.

This is because, the generated HTML file of the seminar log looks for ../versions.js even if it's non-versioned. (If can't find the versions.js file, the version selector will not be displayed.)

In this cases, the path of versions.js is https://hyrodium.github.io/versions.js, and it is equivalent to:

• https://hyrodium.github.io/en/../versions.js
• https://hyrodium.github.io/ja/../versions.js
• https://hyrodium.github.io/manifold-seminar/../versions.js

To solve this issue, we need to add some information to makedocs about whether it is versioned or not.