From af48618efce529a044493fb8799ed80fa80f61fe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?= Date: Wed, 26 Jun 2024 17:03:16 +0200 Subject: [PATCH] Fix link in `toc.md` (#4486) --- web/toc.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/toc.md b/web/toc.md index ee72a822d9b..9eda3761ec2 100644 --- 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)