diff --git a/publish.sh b/publish.sh index 011526f757595a3977a6a7463eee1dedaae98e43..999fd93294791ed2c546279c1177f39a20dd9450 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