fix: add trailing slash to tutorial links (#701)

david-christiansen · web-flow · commit 82eba5d89a5f · 2026-01-15T16:08:20.000Z
diff --git a/src/verso-tutorial/VersoTutorial.lean b/src/verso-tutorial/VersoTutorial.lean
@@ -467,7 +467,7 @@ def toSite (tuts : Tutorials) : EmitM Blog.Site := do
       let some m := tut.metadata
         | return none
       return some {
-        term := #[.link (← tut.title.mapM inlineToPage) s!"./{m.slug}"],
+        term := #[.link (← tut.title.mapM inlineToPage) s!"./{m.slug}/"],
         desc := tut.metadata.map (.para #[.text <| ·.summary]) |>.toArray
       }
     return { t with

Original file line number	Diff line number	Diff line change
`@@ -467,7 +467,7 @@ def toSite (tuts : Tutorials) : EmitM Blog.Site := do`
`467`	`467`	`let some m := tut.metadata`
`468`	`468`	`\| return none`
`469`	`469`	`return some {`
`470`		`- term := #[.link (← tut.title.mapM inlineToPage) s!"./{m.slug}"],`
	`470`	`+ term := #[.link (← tut.title.mapM inlineToPage) s!"./{m.slug}/"],`
`471`	`471`	`desc := tut.metadata.map (.para #[.text <\| ·.summary]) \|>.toArray`
`472`	`472`	`}`
`473`	`473`	`return { t with`