diff --git a/publish.sh b/publish.sh index 615d24fd885d66e4e38f88fc5918e90b5afd6ac6..0222e671c015b45e6680df71423e0bc418077395 100755 --- a/publish.sh +++ b/publish.sh @@ -9,8 +9,8 @@ asciidoctor site/*adoc sed -i -e 's/"#_outputs">Outputs<\/a>/"#_outputs">Corpus \& Outputs<\/a>/' site/en.html # shorten title for Publications section -sed -i -e 's/href="#_publications_and_contributions_to_conferences">Publications and contributions to conferences</#_publications_and_contributions_to_conferences">Publications</g' site/en.html -sed -i -e 's/href="#_publications_et_communications">Publications et communications</#_publications_et_communications">Publications</g' site/index.html +sed -i -e 's/href="#_publications_and_contributions_to_conferences">Publications and contributions to conferences</href="#_publications_and_contributions_to_conferences">Publications</g' site/en.html +sed -i -e 's/href="#_publications_et_communications">Publications et communications</href="#_publications_et_communications">Publications</g' site/index.html # add home link to top entry in ToC for pname in index en ; do