Add skip link to documentation

diff --git a/build_readme.py b/build_readme.py
index 9f33dbd6740a10aa137685d1ac75013898081322..e082955a600c3f4dfabcdc835624748afc07bb30 100644 (file)
--- 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' />")