anchor to interns

d8373ce7 · pruizf · 8f9c6377 · d8373ce7
Commit d8373ce7 authored 3 years ago by pruizf
--- 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