ok/jj
1
0
Fork 0
forked from mirrors/jj
jj/.github
Ilya Grigoriev dbbed2d2a5 docs: restore directory structure of the website
The `offline` plugin added to the MkDocs config in commit 772e2b8 ended up
changing the directory structure of the website, see the resulting commit
56aec196.

**Before** that commit, the following URLs were valid:

<https://martinvonz.github.io/jj/v0.9.0/revsets>
<https://martinvonz.github.io/jj/v0.9.0/revsets/>

and <https://martinvonz.github.io/jj/v0.9.0/revsets.html> was invalid.

The situation described above should be restored by this commit.

**After** 772e2b8 and before this commit, the following URLs were valid:

<https://martinvonz.github.io/jj/v0.9.0/revsets>
<https://martinvonz.github.io/jj/v0.9.0/revsets.html> and
<https://martinvonz.github.io/jj/v0.9.0/revsets/> was invalid.

This commit is likely to break the version switcher between v0.9.0 and newer
versions. The breakage would be minimized if this is merged shortly before a
release (but with enough time to test it out). Alternatively, I could try to
fix up the docs for that version.

We could also consciously decide to leave things as they are now.

The problem was noticed by @hooper, who noticed URLs in their browser history
that were no longer valid.
2023-10-02 20:40:23 -07:00
..
ISSUE_TEMPLATE github: add feature request issue template 2023-03-30 11:49:04 -07:00
scripts Github actions to build docs 2023-08-28 10:43:48 -07:00
workflows docs: restore directory structure of the website 2023-10-02 20:40:23 -07:00
dependabot.yml dependabot: also group cargo updates 2023-07-07 17:36:45 +02:00
PULL_REQUEST_TEMPLATE.md docs: Fix missed paths from src->cli/src move 2023-08-18 14:35:19 +02:00