diff --git a/publish.sh b/publish.sh index 7165e220af19374401a03a6392ebccc69428df1f..5af9f8b177563ab8592d5ee5f903de372773f098 100755 --- a/publish.sh +++ b/publish.sh @@ -1,5 +1,6 @@ #!/bin/bash asciidoctor site/*adoc +sed -i -e 's/"#_outputs">Outputs<\/a>/#_outputs">Corpus \& Outputs<\/a>/' en.html cp -r site/*html public cp -r site/{img,styles} public/.