diff options
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/make_artifacts.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index 6758b7c3d..689b87282 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -90,7 +90,7 @@ make_tarball() { mkdir "$TARGET" mkdir "$TARGET/bin" "$TARGET/share" "$TARGET/share/man" "$TARGET/share/man/man1" cp /mnt/man/pandoc.1 /mnt/man/pandoc-server.1 /mnt/man/pandoc-lua.1 "$TARGET/share/man/man1" - gzip -9 "$TARGET/share/man/man1/*.1" + gzip -9 "$TARGET"/share/man/man1/*.1 mv pandoc "$TARGET/bin" cd "$TARGET/bin" ln -s pandoc pandoc-server |