diff options
Diffstat (limited to 'docs/user-guide/nav.html')
| -rw-r--r-- | docs/user-guide/nav.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/user-guide/nav.html b/docs/user-guide/nav.html new file mode 100644 index 000000000..9a29f99f7 --- /dev/null +++ b/docs/user-guide/nav.html @@ -0,0 +1,6 @@ +<nav> + <li><a href="../../">Docs</a></li> + <li><a href="../slang/">Slang</a></li> + <li><a href="index.html">User's Guide</a></li> + +</nav>
\ No newline at end of file |