diff --git a/update-guide.sh b/update-guide.sh index f1c4990..0bdd1bb 100755 --- a/update-guide.sh +++ b/update-guide.sh @@ -8,7 +8,7 @@ echo "Mise a jour du guide dans guide.html a partir du edgedoc" echo "$GUIDE_EDGEDOC_URL" set -e -curl --silent --fail-with-body "$GUIDE_EDGEDOC_URL/download" > guide.tmp.md +curl --silent --fail "$GUIDE_EDGEDOC_URL/download" > guide.tmp.md pandoc --from markdown --to html guide.tmp.md > guide.tmp.html cat guide.template.html \ | sed '/EDGEDOC/{