diff --git a/publish.sh b/publish.sh index 6a4c6d1f1bc9aa9d83aa31e6d2e3539e14e62307..cadfb1ff40a3448b4a03d9544449a3b368ed2e94 100755 --- a/publish.sh +++ b/publish.sh @@ -22,8 +22,8 @@ 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 +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