Deployed 118072a to prerelease with MkDocs 1.6.1 and mike 2.1.3

martinvonz · Nov 23, 2024 · e1ddcce · e1ddcce
1 parent 548b730
commit e1ddcce
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/prerelease/cli-reference/index.html b/prerelease/cli-reference/index.html
@@ -7225,7 +7225,7 @@ <h6 id="options_27"><strong>Options:</strong><a class="headerlink" href="#option
 <p>Only tracked bookmarks can be successfully deleted on the remote. A warning will be printed if any untracked bookmarks on the remote correspond to missing local bookmarks.</p>
 </li>
 <li>
-<p><code>--allow-new</code> — Allow pushing new bookmarks</p>
+<p><code>-N</code>, <code>--allow-new</code> — Allow pushing new bookmarks</p>
 <p>Newly-created remote bookmarks will be tracked automatically.</p>
 </li>
 <li>

diff --git a/prerelease/search/search_index.json b/prerelease/search/search_index.json