From 256b0875cb944512da5daa4e5cecf3b3c9aaee9f Mon Sep 17 00:00:00 2001
From: Frank Taillandier <frank.taillandier@gmail.com>
Date: Tue, 10 Mar 2020 01:20:31 +0100
Subject: [PATCH] site: make resources editable

---
 docs/_layouts/page.html | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/_layouts/page.html b/docs/_layouts/page.html
index 28364e7d..caa61864 100644
--- a/docs/_layouts/page.html
+++ b/docs/_layouts/page.html
@@ -6,6 +6,11 @@ layout: default
   <div class="grid">
     <div class="unit whole">
       <article>
+        {%- if page.permalink contains "resources" %}
+        <div class="improve right hide-on-mobiles">
+          <a data-proofer-ignore href="https://github.com/jekyll/jekyll/edit/master/docs/{{ page.path }}"><i class="fa fa-pencil"></i> &nbsp;Improve this page</a>
+        </div>
+        {% endif -%}
         <h1>{{ page.title }}</h1>
         {{ content }}
       </article>