From dd6df4d5ea721813cb754368c6cbd46fdbff84e4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20L=C3=B6=C3=B6w?=
 <AndreasLoow@users.noreply.github.com>
Date: Tue, 19 Nov 2024 12:07:24 +0000
Subject: [PATCH] more helpful link

---
 _docs/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_docs/README.md b/_docs/README.md
index cc50f66d5..f13be367c 100644
--- a/_docs/README.md
+++ b/_docs/README.md
@@ -4,7 +4,7 @@
 
 **! DO NOT PUSH TO THIS REPOSITORY !**
 
-This code is automatically built and pushed from the [main Gillian repository](https://github.com/GillianPlatform/Gillian).
+This code is automatically built and pushed from the [main Gillian repository](https://github.com/GillianPlatform/Gillian/tree/master/sphinx).
 
 See the deployed docs [here](https://github.com/GillianPlatform/GillianPlatform.github.io).
 <br/>