diff options
Diffstat (limited to 'macos')
| -rw-r--r-- | macos/make_macos_release.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/macos/make_macos_release.sh b/macos/make_macos_release.sh index 27e0b958d..cf5d6137b 100644 --- a/macos/make_macos_release.sh +++ b/macos/make_macos_release.sh @@ -23,7 +23,7 @@ mkdir -p $DEST/share/man/man1 # Copy binary and strip it echo "Copying executable..." -cp "$BINPATH/pandoc" "$DEST/bin/" +cp "$BINPATH" "$DEST/bin/" strip "$DEST/bin/pandoc" # Copy man pages and license @@ -31,7 +31,7 @@ echo "Copying manuals and license..." cp man/pandoc.1 "$DEST/share/man/man1/pandoc.1" cp man/pandoc-server.1 "$DEST/share/man/man1/pandoc-server.1" cp man/pandoc-lua.1 "$DEST/share/man/man1/pandoc-lua.1" -"$BINPATH/pandoc" -s COPYING.md -Vpagetitle=License -o "$RESOURCES/license.html" +"$BINPATH" -s COPYING.md -Vpagetitle=License -o "$RESOURCES/license.html" # Prepare distribution directory; after downloading, run 'make' to notarize echo "Preparing distribution directory..." |