Add link to pyk docs to ToC page (#4476)

The link will appear on the left sidebar on https://kframework.org/. Co-authored-by: Bruce Collie <[email protected]>
runtimeverification · Jun 26, 2024 · c0a91a8 · c0a91a8
1 parent 3bc2373
commit c0a91a8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/web/toc.md b/web/toc.md
@@ -17,6 +17,7 @@ output:
 
 - [Homepage](/web/pages/index.md)
 - [Install K](https://github.com/runtimeverification/k/releases/latest)
+- [Pyk Documentation](/pyk)
 - [K Tutorial](/k-distribution/k-tutorial/README.md)
   - [Section 1: Basic K Concepts](/k-distribution/k-tutorial/1_basic/README.md)
     - [Lesson 1.1: Setting up a K Environment](/k-distribution/k-tutorial/1_basic/01_installing/README.md)