From d8373ce79d31e555acbae9bdea30c09427aeeab6 Mon Sep 17 00:00:00 2001 From: pruizf <pabloruizfabo@gmail.com> Date: Sat, 11 Dec 2021 13:04:13 +0100 Subject: [PATCH] anchor to interns --- publish.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/publish.sh b/publish.sh index 011526f..999fd93 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 '653 i <a href="#interns"></a>' site/en.html site/index.html +sed -i -e '655 i <span id="_interns"></span>' site/en.html site/index.html # read-section -- GitLab