From fa03cf79ccd20fe486b33f1cec72c0eb81c4a8a9 Mon Sep 17 00:00:00 2001 From: Hadrien Date: Tue, 24 Mar 2026 19:21:47 +0100 Subject: [PATCH] fix(ci): curl flags --- update-guide.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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/{