diff --git a/publish.sh b/publish.sh
index b4e658e6a1e2068dd1ed9b22c3bf22aa21c477ac..bd37c664e604b364601291c89faae1dee680d201 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/.