Update content.tex

leanprover-community · Mar 19, 2024 · b5f2ee8 · b5f2ee8
1 parent f1efc07
commit b5f2ee8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/blueprint/src/content.tex b/blueprint/src/content.tex
@@ -5,9 +5,9 @@
 
 \home{https://leanprover-community.github.io/flt-regular/}
 \github{https://github.com/leanprover-community/flt-regular/}
-\dochome{https://cbirkbeck.github.io/FltRegulartest/doc/}
+\dochome{https://cbirkbeck.github.io/FltRegulartest/docs/}
 
 \maketitle
 
 
-\input{demo}
+\input{demo}