From 69c8f933c47831fef777553f4837abd47208bc70 Mon Sep 17 00:00:00 2001 From: jseldess Date: Thu, 21 Sep 2023 12:44:03 -0400 Subject: [PATCH] website: Fix broken Playground link in topnav The "Playground" link 404s due to a trailing slash that adds index.html to the url. The PR removes that trailing slash. --- website/siteConfig.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/siteConfig.js b/website/siteConfig.js index 7fd63fe3..6a7e582e 100644 --- a/website/siteConfig.js +++ b/website/siteConfig.js @@ -17,7 +17,7 @@ const siteConfig = { { doc: "tutorial", label: "Tutorial" }, { doc: "hello_world", label: "Docs" }, { doc: "string", label: "Stdlib" }, - { href: "/playground/", label: "Playground" }, + { href: "/playground", label: "Playground" }, { blog: true, label: "Blog" }, { href: "https://github.com/skiplang/skip", label: "GitHub" }, ],