diff options
| author | Teddy Wing | 2020-08-06 00:22:40 +0200 |
|---|---|---|
| committer | Teddy Wing | 2020-08-06 00:22:40 +0200 |
| commit | 16ff238363973e980201f441a802308257c382b0 (patch) | |
| tree | 3904dae1a0ddc50969be4641715e14388869892c /.gitignore | |
| parent | bf2d539332e2f83605fe8386670d9377bc505d23 (diff) | |
| download | git-suggestion-16ff238363973e980201f441a802308257c382b0.tar.bz2 | |
Makefile: Copy release products to `dist/`
Add recipes to build release targets and copy the binaries and man pages
into the `dist/` folder. We'll use this to package a release archive.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1 +1,2 @@ +/dist/ /target |