Scripts: call wandbox/publish.sh from get-release-page.sh

Ported from 371fa4667e
This commit is contained in:
Benoit Blanchon
2023-07-23 18:08:54 +02:00
parent 5458e916ea
commit 9d2d257851
2 changed files with 3 additions and 4 deletions

View File

@ -4,14 +4,14 @@ set -eu
VERSION="$1"
CHANGELOG="$2"
FRONTMATTER="$3"
ARDUINOJSON_H="$3"
cat << END
---
branch: v6
version: $VERSION
date: '$(date +'%Y-%m-%d')'
$(cat "$FRONTMATTER")
$(extras/scripts/wandbox/publish.sh "$ARDUINOJSON_H")
---
$(awk '/\* /{ FOUND=1; print; next } { if (FOUND) exit}' "$CHANGELOG")