diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-04-11 07:54:50 +0000 |
---|---|---|
committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-04-11 07:54:50 +0000 |
commit | 684aedc265b4fb8f45c82eb71d238c86e8876129 (patch) | |
tree | 58cb50be740cfcdbf12db90d4b6b0dd5e01c2f63 /nightly/support | |
parent | f2079930a021047de35dd47b86b52e2e596a7cc0 (diff) |
Deployed 08bb933 to nightly with MkDocs 1.3.0 and mike 1.1.2
Diffstat (limited to 'nightly/support')
-rw-r--r-- | nightly/support/official/index.html | 7 | ||||
-rw-r--r-- | nightly/support/unofficial/index.html | 7 |
2 files changed, 12 insertions, 2 deletions
diff --git a/nightly/support/official/index.html b/nightly/support/official/index.html index 3166a686..9379002b 100644 --- a/nightly/support/official/index.html +++ b/nightly/support/official/index.html @@ -160,6 +160,8 @@ </button> </nav> + <div class="md-search__suggest" data-md-component="search-suggest"></div> + </form> <div class="md-search__output"> <div class="md-search__scrollwrap" data-md-scrollfix> @@ -954,6 +956,9 @@ </a> + + + <h1 id="official-support"><a class="toclink" href="#official-support">Official support</a></h1> <p>bottom <em>officially</em> supports the following operating systems and corresponding architectures:</p> @@ -1060,7 +1065,7 @@ bottom from the repo/source, then please try that as well.</p> <div class="md-dialog" data-md-component="dialog"> <div class="md-dialog__inner md-typeset"></div> </div> - <script id="__config" type="application/json">{"base": "../..", "features": ["navigation.tabs", "navigation.top", "navigation.expand", "navigation.instant", "navigation.sections", "toc.integrate"], "search": "../../assets/javascripts/workers/search.2a1c317c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "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.title": "Select version"}, "version": {"default": "nightly", "provider": "mike"}}</script> + <script id="__config" type="application/json">{"base": "../..", "features": ["navigation.tabs", "navigation.top", "navigation.expand", "navigation.instant", "navigation.sections", "toc.integrate", "search.suggest", "search.highlight"], "search": "../../assets/javascripts/workers/search.2a1c317c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "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.title": "Select version"}, "version": {"default": "nightly", "provider": "mike"}}</script> <script src="../../assets/javascripts/bundle.6e54b5cd.min.js"></script> diff --git a/nightly/support/unofficial/index.html b/nightly/support/unofficial/index.html index 3fa556b4..0bbddd0f 100644 --- a/nightly/support/unofficial/index.html +++ b/nightly/support/unofficial/index.html @@ -160,6 +160,8 @@ </button> </nav> + <div class="md-search__suggest" data-md-component="search-suggest"></div> + </form> <div class="md-search__output"> <div class="md-search__scrollwrap" data-md-scrollfix> @@ -927,6 +929,9 @@ </a> + + + <h1 id="unofficial-support"><a class="toclink" href="#unofficial-support">Unofficial support</a></h1> <p>Systems and architectures that aren't officially supported may still work, but there are no guarantees on how much will work. For example, it might only compile, or it might run with bugs/broken features. @@ -1012,7 +1017,7 @@ Furthermore, while it will depend on the problem at the end of the day, <em>issu <div class="md-dialog" data-md-component="dialog"> <div class="md-dialog__inner md-typeset"></div> </div> - <script id="__config" type="application/json">{"base": "../..", "features": ["navigation.tabs", "navigation.top", "navigation.expand", "navigation.instant", "navigation.sections", "toc.integrate"], "search": "../../assets/javascripts/workers/search.2a1c317c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "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.title": "Select version"}, "version": {"default": "nightly", "provider": "mike"}}</script> + <script id="__config" type="application/json">{"base": "../..", "features": ["navigation.tabs", "navigation.top", "navigation.expand", "navigation.instant", "navigation.sections", "toc.integrate", "search.suggest", "search.highlight"], "search": "../../assets/javascripts/workers/search.2a1c317c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "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.title": "Select version"}, "version": {"default": "nightly", "provider": "mike"}}</script> <script src="../../assets/javascripts/bundle.6e54b5cd.min.js"></script> |