Fix gh pages config file

felixmulder · felixmulder · commit 3ed6ffc77c5b · 2016-10-06T19:05:38.000+02:00
diff --git a/docs/_config.yml b/docs/_config.yml
@@ -1,5 +1,5 @@
 title: Dotty Documentation
-baseurl: "/"
+baseurl: "/dotty"
 theme: minima
 gems:
     - jekyll-toc
