diff options
author | EuAndreh <eu@euandre.org> | 2021-06-11 23:55:44 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-06-11 23:55:44 -0300 |
commit | 2be10d5b2df987131497c1d9fd7f93df4c6d827e (patch) | |
tree | 09c50d69f942c1385dcd459690f5a8849793ee31 /aux/workflow/README.sh | |
parent | TODOs.md: Add #task-39e71afe-4ac9-4c3d-97e4-9ac41f826089 (diff) | |
download | gistatic-2be10d5b2df987131497c1d9fd7f93df4c6d827e.tar.gz gistatic-2be10d5b2df987131497c1d9fd7f93df4c6d827e.tar.xz |
aux/: Update files
Diffstat (limited to 'aux/workflow/README.sh')
-rwxr-xr-x | aux/workflow/README.sh | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/aux/workflow/README.sh b/aux/workflow/README.sh deleted file mode 100755 index aa5cbe6..0000000 --- a/aux/workflow/README.sh +++ /dev/null @@ -1,43 +0,0 @@ -#!/bin/sh -set -eu - -mkdir -p public - -PROJECT_UC="$1" -PROJECT="$2" -MAILING_LIST="$3" - -RELEASES_LIST="$(mktemp)" -for version in $(git tag | perl -e 'print reverse <>'); do - echo "- version [$version](https://git.euandreh.xyz/$PROJECT/snapshot/$PROJECT-$version.tar.gz) ([sig](https://git.euandreh.xyz/$PROJECT/snapshot/$PROJECT-$version.tar.gz.asc)), released in $(git log -1 --format=%cd --date=short "$version")" >> "$RELEASES_LIST" -done - -RELEASES="$(mktemp)" -if [ -s "$RELEASES_LIST" ]; then - printf '\n# Releases\n\n' >> "$RELEASES" - cat "$RELEASES_LIST" >> "$RELEASES" -fi - -LINKS="$(mktemp)" -cat <<EOF > "$LINKS" - -# Links - -- [home page](https://$PROJECT.euandreh.xyz) -- [source code](https://git.euandreh.xyz/$PROJECT/) -- [bug tracking](https://$PROJECT.euandreh.xyz/TODOs.html) -- [mailing list](https://lists.sr.ht/~euandreh/$MAILING_LIST?search=%5B$PROJECT%5D) -- [CI logs](https://$PROJECT.euandreh.xyz/ci.html) -- [CHANGELOG](https://$PROJECT.euandreh.xyz/CHANGELOG.html) -EOF - -cat "README.md" "$LINKS" "$RELEASES" | \ - pandoc --toc \ - --highlight-style pygments \ - --toc-depth=2 \ - -s \ - --metadata title="$PROJECT_UC - README" \ - --metadata lang=en \ - -r commonmark \ - -w html \ - > public/index.html |