diff options
| author | John MacFarlane <[email protected]> | 2022-08-15 13:07:32 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-08-15 13:07:32 -0700 |
| commit | f0943813782a44c9948dd51a64ca241cf6762087 (patch) | |
| tree | b1cb3333bf9f710e19503a3bfe4754a6bc962e01 /linux | |
| parent | 7c349084932d6f022189b3759f96ef198329b558 (diff) | |
make_artifacts.sh: create doc directory.
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/make_artifacts.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index cb9343808..59b451660 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -46,6 +46,7 @@ make_deb() { mkdir -p $DEST/bin mkdir -p $DEST/share/man/man1 + mkdir -p $DEST/share/doc/$EXE find $DIST -type d | xargs chmod 755 cp $ARTIFACTS/$EXE $DEST/bin/ |