From 2cac9c73d1fe88c2bd05bbd0e81458016f2d059b Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Wed, 15 Feb 2017 17:24:14 +0100
Subject: [PATCH] Try again to have github pages fixed.

---
 docs/community.html       | 4 ++++
 docs/getting-started.html | 4 ++++
 docs/index.html           | 4 ++++
 3 files changed, 12 insertions(+)

diff --git a/docs/community.html b/docs/community.html
index ccf631e5..0114bdb0 100644
--- a/docs/community.html
+++ b/docs/community.html
@@ -1,3 +1,7 @@
+----
+-layout: default
+-title: Community
+----
       <div class="row">
         <div class="col-md-4">
           <h2>Twitter</h2>
diff --git a/docs/getting-started.html b/docs/getting-started.html
index 80924db0..b571eed8 100644
--- a/docs/getting-started.html
+++ b/docs/getting-started.html
@@ -1,3 +1,7 @@
+----
+-layout: default
+-title: Getting started
+----
       <div class="row">
         <div class="col-md-12">
           <div class="page-header">
diff --git a/docs/index.html b/docs/index.html
index f55c804a..84be7fff 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -1,3 +1,7 @@
+----
+-layout: default
+-title: EiffelWeb
+----
       <div class="jumbotron">
         <h1>EiffelWeb</h1>
         <p class="lead">