diff --git a/doc/_config.yml b/doc/_config.yml
index aae10054..c1412f6b 100644
--- a/doc/_config.yml
+++ b/doc/_config.yml
@@ -23,7 +23,7 @@ title: HepLean
 description: >- # this means to ignore newlines until "baseurl:"
   A project to digitalize results from high-energy physics into Lean 4.  
 baseurl: "" # the subpath of your site, e.g. /blog
-url: "" # the base hostname & protocol for your site, e.g. http://example.com
+url: "https://heplean.github.io/HepLean/" # the base hostname & protocol for your site, e.g. http://example.com
 #twitter_username: jekyllrb
 github_username:  HEPLean