diff options
| author | Toni Uhlig <matzeton@googlemail.com> | 2021-10-07 15:31:45 +0200 |
|---|---|---|
| committer | Toni Uhlig <matzeton@googlemail.com> | 2021-10-07 16:19:22 +0200 |
| commit | 977f372c80d3c22ca13a556fc283009a4260b3bd (patch) | |
| tree | e659e0d6706a8d15035608f5591cbd1a0a49a5c1 /CHANGELOG.md | |
| parent | 3ffb65a81c2e61650646d7382c8779f814993d0b (diff) | |
Fix `make dist` and add it to the CI along with `make -C doc text`. Fixes #1324fix-add/make-doc-and-CI
Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
Diffstat (limited to 'CHANGELOG.md')
0 files changed, 0 insertions, 0 deletions