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/>