Add Jekyll

Author: felixmulder

docs/Gemfile

@@ -0,0 +1,24 @@
+source "https://rubygems.org"
+ruby RUBY_VERSION
+
+# Hello! This is where you manage which Jekyll version is used to run.
+# When you want to use a different version, change it below, save the
+# file and run `bundle install`. Run Jekyll with `bundle exec`, like so:
+#
+#     bundle exec jekyll serve
+#
+# This will help ensure the proper Jekyll version is running.
+# Happy Jekylling!
+gem "jekyll", "3.2.1"
+
+# This is the default theme for new Jekyll sites. You may change this to anything you like.
+gem "minima"
+
+# If you want to use GitHub Pages, remove the "gem "jekyll"" above and
+# uncomment the line below. To upgrade, run `bundle update github-pages`.
+# gem "github-pages", group: :jekyll_plugins
+
+# If you have any plugins, put them here!
+# group :jekyll_plugins do
+#   gem "jekyll-github-metadata", "~> 1.0"
+# end

docs/_config.yml

@@ -0,0 +1,29 @@
+# Welcome to Jekyll!
+#
+# This config file is meant for settings that affect your whole blog, values
+# which you are expected to set up once and rarely edit after that. If you find
+# yourself editing these this file very often, consider using Jekyll's data files
+# feature for the data you need to update frequently.
+#
+# For technical reasons, this file is *NOT* reloaded automatically when you use
+# 'jekyll serve'. If you change this file, please restart the server process.
+
+# Site settings
+# These are used to personalize your new site. If you look in the HTML files,
+# you will see them accessed via {{ site.title }}, {{ site.email }}, and so on.
+# You can create any custom variable you would like, and they will be accessible
+# in the templates via {{ site.myvariable }}.
+title: Your awesome title
+email: your-email@domain.com
+description: > # this means to ignore newlines until "baseurl:"
+  Write an awesome description for your new site here. You can edit this
+  line in _config.yml. It will appear in your document head meta (for
+  Google search results) and in your feed.xml site description.
+baseurl: "" # the subpath of your site, e.g. /blog
+url: "http://example.com" # the base hostname & protocol for your site
+twitter_username: jekyllrb
+github_username:  jekyll
+
+# Build settings
+markdown: kramdown
+theme: minima

docs/blog/2015-10-23-dotty-compiler-bootstraps.md renamed to docs/_posts/2015-10-23-dotty-compiler-bootstraps.md

@@ -0,0 +1,39 @@
+---
+# Only the main Sass file needs front matter (the dashes are enough)
+---
+@charset "utf-8";
+
+// Our variables
+$base-font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
+$base-font-size:   16px;
+$base-font-weight: 400;
+$small-font-size:  $base-font-size * 0.875;
+$base-line-height: 1.5;
+
+$spacing-unit:     30px;
+
+$text-color:       #111;
+$background-color: #fdfdfd;
+$brand-color:      #2a7ae2;
+
+$grey-color:       #828282;
+$grey-color-light: lighten($grey-color, 40%);
+$grey-color-dark:  darken($grey-color, 25%);
+
+// Width of the content area
+$content-width:    800px;
+
+$on-palm:          600px;
+$on-laptop:        800px;
+
+// Minima also includes a mixin for defining media queries.
+// Use media queries like this:
+// @include media-query($on-palm) {
+//     .wrapper {
+//         padding-right: $spacing-unit / 2;
+//         padding-left: $spacing-unit / 2;
+//     }
+// }
+
+// Import partials from the `minima` theme.
+@import "minima";

docs/blog/2016-01-02-new-year-resolutions.md renamed to docs/_posts/2016-01-02-new-year-resolutions.md

@@ -1,3 +1,7 @@
+---
+layout: default
+---
+
 Differences between Scalac and Dotty
 ====================================
 Overview explanation how symbols, named types and denotations hang together:

docs/blog/2016-02-03-essence-of-scala.md renamed to docs/_posts/2016-02-03-essence-of-scala.md

@@ -1,3 +1,7 @@
+---
+layout: default
+---
+
 Dotty Documentation
 ===================
 The Dotty compiler is currently somewhat lacking in documentation - PRs
@@ -6,7 +10,7 @@ pages.
 
 Index
 -----
-* [Blog](blog/) posts written for scala-lang.org or dotty.epfl.ch
+* Blog posts written for scala-lang.org or dotty.epfl.ch
 * [Contributing](contributing/)
     - [Eclipse](contributing/eclipse.md) setting up dev environment
     - [Intellij-IDEA](contributing/intellij-idea.md) setting up dev environment

docs/blog/2016-02-17-scaling-dot-soundness.md renamed to docs/_posts/2016-02-17-scaling-dot-soundness.md

@@ -1,3 +1,7 @@
+---
+layout: default
+---
+
 Type System
 ===========
 The types are defined in [dotty/tools/dotc/core/Types.scala][1]

docs/blog/2016-05-05-multiversal-equality.md renamed to docs/_posts/2016-05-05-multiversal-equality.md

@@ -1,3 +1,7 @@
+---
+layout: default
+--
+
 Migrating to Dotty
 ==================