diff --git a/publish.sh b/publish.sh index 72ca29edd0c74e8ad8c2b6498242ab76d2f52b57..0cc5dc6f1f403ab51dd542b5da3df7462d5e20de 100755 --- a/publish.sh +++ b/publish.sh @@ -21,7 +21,7 @@ done # read-section plays_done=$(ls read/tei/*xml | wc -l) -sed -i -e "s/##nbrPieces/${plays_done}/g" +sed -i -e "s/##nbrPieces/${plays_done}/g" read/*html # copy to public repo ==========================================================