diff options
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/ |