fix: try to escape the clutches of Netlify rewriting

leanprover · Oct 15, 2024 · 8acff2f · 8acff2f
1 parent 63af9e2
commit 8acff2f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Manual.lean b/Manual.lean
@@ -85,6 +85,7 @@ For now, a quick overview of elaborators - detailed description to be written in
 # Index
 %%%
 number := false
+file := some "the-index"
 %%%
 
 {theIndex}