aboutsummaryrefslogtreecommitdiff
path: root/aux/workflow/dist.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* aux/workflow/dist.sh: Update Git push optionsEuAndreh2023-03-221-4/+4
* aux/workflow/dist.sh: Use authoring date over commit dateEuAndreh2023-03-221-1/+1
* aux/workflow/dist.sh: Do not build before doing distEuAndreh2023-03-221-1/+1
* aux/: UpdateEuAndreh2021-09-011-5/+24
* aux/: UpdateEuAndreh2021-07-231-1/+1
* aux/: Update, adapt Makefile accordinglyEuAndreh2021-06-261-8/+43
* Makefile, README.md: Adapt to changes in aux/EuAndreh2021-06-261-0/+10
* aux/workflow/assert-changelog.sh: UpdateEuAndreh2021-06-171-3/+4
* aux/workflow/dist.sh: Improve checks before taggingEuAndreh2021-06-131-1/+8
* aux/workflow/dist.sh: Remove unused variablesEuAndreh2021-06-111-2/+1
* aux/: Use tabs over spaces for .sh filesEuAndreh2021-06-061-6/+6
* Update files under aux/EuAndreh2021-03-061-0/+5
* Add assert-changelog.sh; change dependency of check -> dev-check targetsEuAndreh2021-02-281-4/+1
* Add aux/workflow/sign-tarballs.shEuAndreh2021-02-271-0/+3
* Update aux/workflow/dist.shEuAndreh2021-02-251-5/+11
* aux/workflow/dist.sh: Fix quotationEuAndreh2021-02-221-3/+3
* Move "dist" target to aux/workflow/dist.shEuAndreh2021-02-211-0/+17