Fix link in toc.md (#4486)

runtimeverification · Jun 26, 2024 · af48618 · af48618
1 parent c0a91a8
commit af48618
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/web/toc.md b/web/toc.md
@@ -17,7 +17,7 @@ output:
 
 - [Homepage](/web/pages/index.md)
 - [Install K](https://github.com/runtimeverification/k/releases/latest)
-- [Pyk Documentation](/pyk)
+- [Pyk Documentation](https://kframework.org/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)