diff --git a/publish.sh b/publish.sh index 793a2b8f922a9fecd3c8ce57d45e16ff76fefa7b..1bfea43003b9221170411c7b230229f80b718ad1 100755 --- a/publish.sh +++ b/publish.sh @@ -43,5 +43,5 @@ perl -p -i -e "s/Last updated on .+/Mis à jour le $realdate/" site/read/index.h # COPY to public repo ========================================================== cp -r site/*html public -cp -r site/{img,styles,docs,read} public/. +cp -r site/{img,styles,docs,read,explore} public/.