From c6c8ef4ef10c36465467655ed96c7a6ecb230c37 Mon Sep 17 00:00:00 2001 From: pruizf <pabloruizfabo@gmail.com> Date: Sat, 12 Mar 2022 10:46:34 +0100 Subject: [PATCH] move anchor interns --- publish.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/publish.sh b/publish.sh index 457d80e..5c4ec82 100755 --- a/publish.sh +++ b/publish.sh @@ -35,7 +35,7 @@ sed -i -e '519 i <li><a target="_blank" title="Sources TEI (Nouvel onglet)" href sed -i -e '520 i </ul></li>' site/index.html #i nterns anchor -sed -i -e '667 i <span id="_interns"></span>' site/en.html site/index.html +sed -i -e '665 i <span id="_interns"></span>' site/en.html site/index.html # read-section -- GitLab