Change base-url, so dotty.epfl.ch can build master

felixmulder · web-flow · commit 39286623b29e · 2016-10-31T13:06:24.000+01:00
diff --git a/docs/_config.yml b/docs/_config.yml
@@ -1,5 +1,5 @@
 title: Dotty Documentation
-baseurl: "/"
+baseurl: ""
 theme: minima
 gems:
     - jekyll-toc
