Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Docs (direct website push): fix version switcher by recompiling docs for past versions with older mkdocs-material #3643

Merged
merged 5 commits into from
May 9, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions v0.15.0/404.html
Original file line number Diff line number Diff line change
Expand Up @@ -12,15 +12,15 @@


<link rel="icon" href="/jj/v0.15.0/assets/images/favicon.png">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.8">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.4">



<title>Jujutsu docs</title>



<link rel="stylesheet" href="/jj/v0.15.0/assets/stylesheets/main.f2e4d321.min.css">
<link rel="stylesheet" href="/jj/v0.15.0/assets/stylesheets/main.50c56a3b.min.css">


<link rel="stylesheet" href="/jj/v0.15.0/assets/stylesheets/palette.06af60db.min.css">
Expand Down Expand Up @@ -1222,10 +1222,10 @@ <h1>404 - Not found</h1>
</div>


<script id="__config" type="application/json">{"base": "/jj/v0.15.0", "features": [], "search": "/jj/v0.15.0/assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "/jj/v0.15.0", "features": [], "search": "/jj/v0.15.0/assets/javascripts/workers/search.c011b7c0.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>


<script src="/jj/v0.15.0/assets/javascripts/bundle.8fd75fb4.min.js"></script>
<script src="/jj/v0.15.0/assets/javascripts/bundle.7389ff0e.min.js"></script>


</body>
Expand Down
8 changes: 4 additions & 4 deletions v0.15.0/FAQ/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -18,15 +18,15 @@


<link rel="icon" href="../assets/images/favicon.png">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.8">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.4">



<title>FAQ - Jujutsu docs</title>



<link rel="stylesheet" href="../assets/stylesheets/main.f2e4d321.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.50c56a3b.min.css">


<link rel="stylesheet" href="../assets/stylesheets/palette.06af60db.min.css">
Expand Down Expand Up @@ -1681,10 +1681,10 @@ <h3 id="how-do-i-integrate-jujutsu-with-gerrit">How do I integrate Jujutsu with
</div>


<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.c011b7c0.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>


<script src="../assets/javascripts/bundle.8fd75fb4.min.js"></script>
<script src="../assets/javascripts/bundle.7389ff0e.min.js"></script>


</body>
Expand Down
29 changes: 29 additions & 0 deletions v0.15.0/assets/javascripts/bundle.7389ff0e.min.js

Large diffs are not rendered by default.

7 changes: 7 additions & 0 deletions v0.15.0/assets/javascripts/bundle.7389ff0e.min.js.map

Large diffs are not rendered by default.

29 changes: 0 additions & 29 deletions v0.15.0/assets/javascripts/bundle.8fd75fb4.min.js

This file was deleted.

7 changes: 0 additions & 7 deletions v0.15.0/assets/javascripts/bundle.8fd75fb4.min.js.map

This file was deleted.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions v0.15.0/assets/stylesheets/main.50c56a3b.min.css

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions v0.15.0/assets/stylesheets/main.50c56a3b.min.css.map

Large diffs are not rendered by default.

1 change: 0 additions & 1 deletion v0.15.0/assets/stylesheets/main.f2e4d321.min.css

This file was deleted.

1 change: 0 additions & 1 deletion v0.15.0/assets/stylesheets/main.f2e4d321.min.css.map

This file was deleted.

8 changes: 4 additions & 4 deletions v0.15.0/branches/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -18,15 +18,15 @@


<link rel="icon" href="../assets/images/favicon.png">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.8">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.4">



<title>Branches - Jujutsu docs</title>



<link rel="stylesheet" href="../assets/stylesheets/main.f2e4d321.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.50c56a3b.min.css">


<link rel="stylesheet" href="../assets/stylesheets/palette.06af60db.min.css">
Expand Down Expand Up @@ -1615,10 +1615,10 @@ <h2 id="conflicts">Conflicts<a class="headerlink" href="#conflicts" title="Perma
</div>


<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.c011b7c0.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>


<script src="../assets/javascripts/bundle.8fd75fb4.min.js"></script>
<script src="../assets/javascripts/bundle.7389ff0e.min.js"></script>


</body>
Expand Down
8 changes: 4 additions & 4 deletions v0.15.0/cli-reference/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -18,15 +18,15 @@


<link rel="icon" href="../assets/images/favicon.png">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.8">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.4">



<title>CLI Reference - Jujutsu docs</title>



<link rel="stylesheet" href="../assets/stylesheets/main.f2e4d321.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.50c56a3b.min.css">


<link rel="stylesheet" href="../assets/stylesheets/palette.06af60db.min.css">
Expand Down Expand Up @@ -7044,10 +7044,10 @@ <h2 id="jj-workspace-update-stale"><code>jj workspace update-stale</code><a clas
</div>


<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.c011b7c0.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>


<script src="../assets/javascripts/bundle.8fd75fb4.min.js"></script>
<script src="../assets/javascripts/bundle.7389ff0e.min.js"></script>


</body>
Expand Down
8 changes: 4 additions & 4 deletions v0.15.0/code-of-conduct/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -18,15 +18,15 @@


<link rel="icon" href="../assets/images/favicon.png">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.8">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.4">



<title>Code of conduct - Jujutsu docs</title>



<link rel="stylesheet" href="../assets/stylesheets/main.f2e4d321.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.50c56a3b.min.css">


<link rel="stylesheet" href="../assets/stylesheets/palette.06af60db.min.css">
Expand Down Expand Up @@ -1605,10 +1605,10 @@ <h2 id="attribution">Attribution<a class="headerlink" href="#attribution" title=
</div>


<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.c011b7c0.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>


<script src="../assets/javascripts/bundle.8fd75fb4.min.js"></script>
<script src="../assets/javascripts/bundle.7389ff0e.min.js"></script>


</body>
Expand Down
8 changes: 4 additions & 4 deletions v0.15.0/config/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -18,15 +18,15 @@


<link rel="icon" href="../assets/images/favicon.png">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.8">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.4">



<title>Settings - Jujutsu docs</title>



<link rel="stylesheet" href="../assets/stylesheets/main.f2e4d321.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.50c56a3b.min.css">


<link rel="stylesheet" href="../assets/stylesheets/palette.06af60db.min.css">
Expand Down Expand Up @@ -2667,10 +2667,10 @@ <h3 id="specifying-config-on-the-command-line">Specifying config on the command-
</div>


<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.c011b7c0.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>


<script src="../assets/javascripts/bundle.8fd75fb4.min.js"></script>
<script src="../assets/javascripts/bundle.7389ff0e.min.js"></script>


</body>
Expand Down
8 changes: 4 additions & 4 deletions v0.15.0/conflicts/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -18,15 +18,15 @@


<link rel="icon" href="../assets/images/favicon.png">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.8">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.4">



<title>Conflicts - Jujutsu docs</title>



<link rel="stylesheet" href="../assets/stylesheets/main.f2e4d321.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.50c56a3b.min.css">


<link rel="stylesheet" href="../assets/stylesheets/palette.06af60db.min.css">
Expand Down Expand Up @@ -1447,10 +1447,10 @@ <h2 id="conflict-markers">Conflict markers<a class="headerlink" href="#conflict-
</div>


<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.c011b7c0.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>


<script src="../assets/javascripts/bundle.8fd75fb4.min.js"></script>
<script src="../assets/javascripts/bundle.7389ff0e.min.js"></script>


</body>
Expand Down
8 changes: 4 additions & 4 deletions v0.15.0/contributing/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -18,15 +18,15 @@


<link rel="icon" href="../assets/images/favicon.png">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.8">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.4">



<title>Guidelines and "How to...?" - Jujutsu docs</title>



<link rel="stylesheet" href="../assets/stylesheets/main.f2e4d321.min.css">
<link rel="stylesheet" href="../assets/stylesheets/main.50c56a3b.min.css">


<link rel="stylesheet" href="../assets/stylesheets/palette.06af60db.min.css">
Expand Down Expand Up @@ -1966,10 +1966,10 @@ <h2 id="profiling">Profiling<a class="headerlink" href="#profiling" title="Perma
</div>


<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.c011b7c0.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>


<script src="../assets/javascripts/bundle.8fd75fb4.min.js"></script>
<script src="../assets/javascripts/bundle.7389ff0e.min.js"></script>


</body>
Expand Down
8 changes: 4 additions & 4 deletions v0.15.0/design/git-submodule-storage/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -18,15 +18,15 @@


<link rel="icon" href="../../assets/images/favicon.png">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.8">
<meta name="generator" content="mkdocs-1.5.3, mkdocs-material-9.5.4">



<title>git-submodule-storage - Jujutsu docs</title>



<link rel="stylesheet" href="../../assets/stylesheets/main.f2e4d321.min.css">
<link rel="stylesheet" href="../../assets/stylesheets/main.50c56a3b.min.css">


<link rel="stylesheet" href="../../assets/stylesheets/palette.06af60db.min.css">
Expand Down Expand Up @@ -1696,10 +1696,10 @@ <h3 id="store-git-submodules-as-alternate-git-backends">Store Git submodules as
</div>


<script id="__config" type="application/json">{"base": "../..", "features": [], "search": "../../assets/javascripts/workers/search.b8dbb3d2.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
<script id="__config" type="application/json">{"base": "../..", "features": [], "search": "../../assets/javascripts/workers/search.c011b7c0.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>


<script src="../../assets/javascripts/bundle.8fd75fb4.min.js"></script>
<script src="../../assets/javascripts/bundle.7389ff0e.min.js"></script>


</body>
Expand Down
Loading