Merge pull request #11 from ozgurakgun/edit-this-page

Adding an "edit this page" link
dlrep · Nov 17, 2016 · 2523d87 · 2523d87
2 parents 58ec0a6 + 41831b9
commit 2523d87
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/__internal/layouts/default.html b/__internal/layouts/default.html
@@ -100,6 +100,20 @@
                         {% endif %}
                     {% endfor %}
                 </ul>
+                <ul class="nav navbar-nav navbar-right">
+                    <li class="pull-right">
+                        <!--
+                            prose.io is a service which may be better than GitHub's editor for this task.
+                            We need to look into it some more before switching to it though.
+                            Here what the link should look like.
+                            <a href="http://prose.io/#dlrep/dlrep/edit/master/{{ page.path }}">
+                        -->
+                        <a href="https://github.com/dlrep/dlrep/edit/master/{{ page.path }}">
+                            <span class="glyphicon glyphicon-edit" aria-hidden="true"></span>
+                            Edit this page
+                        </a>
+                    </li>
+                </ul>
             </div>
 
         </div>