From b5f2ee8620638ed3e693762fc7054052f24db421 Mon Sep 17 00:00:00 2001
From: Chris Birkbeck <c.birkbeck@ucl.ac.uk>
Date: Tue, 19 Mar 2024 09:51:58 +0000
Subject: [PATCH] Update content.tex

---
 blueprint/src/content.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/blueprint/src/content.tex b/blueprint/src/content.tex
index 8e1f5c85..8e12ca70 100644
--- 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}
\ No newline at end of file
+\input{demo}