summaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2021-04-29 14:44:09 -0700
committerGitHub <noreply@github.com>2021-04-29 14:44:09 -0700
commitaba8ec619de2bcf908901fa33677bb1d35296df8 (patch)
tree2955689d516641537d094fa78d241a987617b4d6 /docs
parent245352d7663614dc836805ca43f2b720f8a026ed (diff)
Update nav.html
Diffstat (limited to 'docs')
-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 9a29f99f7..569eabf2a 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/">Slang</a></li>
+ <li><a href="../">Slang</a></li>
<li><a href="index.html">User's Guide</a></li>
-</nav> \ No newline at end of file
+</nav>