diff --git a/publish.sh b/publish.sh index 457d80e408cff2a3c66c5f686446bbf0e796d4fb..5c4ec82394bc1d527190e75ccff3e53fdcc760f0 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