aboutsummaryrefslogtreecommitdiffstats
path: root/dist/man.sh
Commit message (Collapse)AuthorAgeFilesLines
* fix btdi image names (#1070)eine2020-01-071-1/+1
| | | | | | * ci: fix btdi image used in man.sh * ci: fix btdi image used in make.sh
* Actions: add workflow 'push' (#1016)1138-4EB2019-11-211-0/+15
* use CC=clang to build C sources on macOS * actions: ensure that shared libs are in the PATH on windows * ci: add GitHub Actions 'push' workflow * ci: fix group labels * dist: add GRAY to ansi_color * ci: use same scripts for GHA and Travis