summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2024-11-04 17:25:25 -0800
committerGitHub <noreply@github.com>2024-11-04 17:25:25 -0800
commit2c8dacfa471903a802a252905ec108420ee25d63 (patch)
treee5ba0193a559de050fa3a8b0679024e2cdbc46a9
parentde561959e8c00a24f3e2600fc57f6d77a4323086 (diff)
Update user-guide top bar nav links. (#5488)
-rw-r--r--docs/user-guide/nav.html4
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/user-guide/nav.html b/docs/user-guide/nav.html
index 569eabf2a..af7498646 100644
--- a/docs/user-guide/nav.html
+++ b/docs/user-guide/nav.html
@@ -1,6 +1,6 @@
<nav>
- <li><a href="../../">Docs</a></li>
- <li><a href="../">Slang</a></li>
+ <li><a href="/">Slang</a></li>
+ <li><a href="/docs">Docs</a></li>
<li><a href="index.html">User's Guide</a></li>
</nav>