Merge pull request #5848 from roc-lang/docs-link-improvement

no need to link to Bool anymore
This commit is contained in:
Anton-4 2023-09-24 15:16:31 +02:00 committed by GitHub
commit 8f210241ab
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -43,7 +43,7 @@ viewNavbar =
a [href "/tutorial"] [text "tutorial"],
a [href "https://github.com/roc-lang/roc/tree/main/getting_started"] [text "install"],
a [href "/repl"] [text "repl"],
a [href "/builtins/Bool"] [text "docs"],
a [href "/builtins"] [text "docs"],
],
],
]

View File

@ -20,7 +20,7 @@
<nav><a class="home-link" href="/" title="The Roc Programming Language">roc</a>
<div id="top-bar-links"><a href="/tutorial">tutorial</a><a
href="https://github.com/roc-lang/roc/tree/main/getting_started">install</a><a href="/repl">repl</a><a
href="/builtins/Bool">docs</a></div>
href="/builtins">docs</a></div>
</nav>
</div>
<main>