From 2f43d733f79cf0d05019cfe3157ae4e45e2737ab Mon Sep 17 00:00:00 2001
From: pruizf <pabloruizfabo@gmail.com>
Date: Wed, 12 Aug 2020 18:56:41 +0200
Subject: [PATCH] [dp] publish script adds home link

---
 publish.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/publish.sh b/publish.sh
index b4e658e..bd37c66 100755
--- a/publish.sh
+++ b/publish.sh
@@ -1,6 +1,7 @@
 #!/bin/bash
 
 asciidoctor site/*adoc
+sed -i -e 's/"toctitle">Navigation<\/div>/"toctitle"><a href="https://methal.pages.unistra.fr/en.html">Navigation<\/a><\/div>/' site/en.html
 sed -i -e 's/"#_outputs">Outputs<\/a>/"#_outputs">Corpus \&amp; Outputs<\/a>/' site/en.html
 cp -r site/*html public
 cp -r site/{img,styles} public/.
-- 
GitLab