CI: finishing touches for make dist workflow and docs#3169

Merged

jimklimov merged 8 commits into

Nov 8, 2025

Commits on Nov 8, 2025

.github/workflows/01-make-dist.yml: update comments [#1400]
jimklimov
committed
.github/workflows/01-make-dist.yml: drop superfluous comment-posting action [#1400]
jimklimov
committed
NEWS.adoc: update about links to automatic dist tarballs [#1400]
jimklimov
committed
docs/download.txt: add intro for development sources chapter [#1400]
jimklimov
committed
docs/download.txt: move notes about building from source upwards [#1400]
jimklimov
committed
docs/download.txt: revise notes on snapshots (not only GitHub now) and build types (git/dist) [#1400]
jimklimov
committed
.github/workflows/01-make-dist.yml: drop commented-away permissions [#1400]
jimklimov
committed
.github/workflows/01-make-dist.yml: drop MAKE_DIST_TOKEN [#1400]
jimklimov
committed