diff --git a/publish.sh b/publish.sh index 0222e671c015b45e6680df71423e0bc418077395..6a4c6d1f1bc9aa9d83aa31e6d2e3539e14e62307 100755 --- a/publish.sh +++ b/publish.sh @@ -21,6 +21,10 @@ for pname in index en ; do done # read-section + +sed -i -e 's/href="#_read_the_plays"/href="./read/en.html"/g' site/en.html +sed -i -e 's/href="#_lire_les_pieces"/href="./read"/g' site/index.html + plays_done=$(ls site/read/tei/*xml | wc -l) sed -i -e "s/##nbrPieces/${plays_done}/g" read/*html sed -i -e "s/##nbrPieces/${plays_done}/g" site/*html