diff options
author | EuAndreh <eu@euandre.org> | 2021-06-11 22:39:20 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-06-11 22:39:20 -0300 |
commit | 3f9bd994223f78b7ec4ab80820d593066f27aa56 (patch) | |
tree | d656f616bf96354bc786ad6f8b9f74cb92d8561e /aux/workflow/README.sh | |
parent | aux/workflow/public.sh: Mark as executable (diff) | |
download | package-repository-3f9bd994223f78b7ec4ab80820d593066f27aa56.tar.gz package-repository-3f9bd994223f78b7ec4ab80820d593066f27aa56.tar.xz |
Update files under aux/
Diffstat (limited to '')
-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 |