From 3ed6ffc77c5bc7ff8f2fb38d31d33c4d02e03c8e Mon Sep 17 00:00:00 2001
From: Felix Mulder <felix.mulder@gmail.com>
Date: Thu, 6 Oct 2016 19:05:38 +0200
Subject: [PATCH] Fix gh pages config file

---
 docs/_config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/_config.yml b/docs/_config.yml
index 290e9b4d1519..d32781d9a491 100644
--- a/docs/_config.yml
+++ b/docs/_config.yml
@@ -1,5 +1,5 @@
 title: Dotty Documentation
-baseurl: "/"
+baseurl: "/dotty"
 theme: minima
 gems:
     - jekyll-toc