From 360c402920507b20080b9030a73f641f34022b4d Mon Sep 17 00:00:00 2001
From: =?utf8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Thu, 11 Aug 2016 21:59:38 +0200
Subject: [PATCH] Add skip link to documentation

---
 build_readme.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build_readme.py b/build_readme.py
index 9f33dbd..e082955 100644
--- a/build_readme.py
+++ b/build_readme.py
@@ -30,7 +30,9 @@ def get_markdown(md_file, lang, table_of_content):
 
 print("<p><a href='#lang-en'>Documenation in english</a></p>")
 print("<p><a href='#lang-fr'>Documenation en Français</a></p>")
+print("<p><a href='#lang-bottom'>Bottom of documentation</a></p>")
 print("<hr id='lang-en'/>")
 print(get_markdown("documentation_en.md", "en", "Table of contents"))
 print("<hr id='lang-fr'/>")
 print(get_markdown("documentation_fr.md", "fr", "Sommaire"))
+print("<hr id='lang-bottom' style='visibility: hidden' />")
-- 
2.41.0