diff options
| author | John MacFarlane <[email protected]> | 2023-03-12 15:31:42 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-03-12 15:31:42 -0700 |
| commit | 63b67af129a3cdef830f372e6e854e9dda3c252e (patch) | |
| tree | bb4200f582d3be6e53c4a52a233b13d47be2742c /linux | |
| parent | 3175be75ad8c4420da962cc09e3472b5e151f1cf (diff) | |
linux/make_artifacts.sh: fix syntax for pushd, popd.
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/make_artifacts.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index b843c154b..e10d5b907 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -57,10 +57,10 @@ make_deb() { find "$DIST" -type d -exec chmod 755 {} \; cp "$ARTIFACTS/pandoc" "$DEST/bin/" - pushdir "$DEST/bin" + pushd "$DEST/bin" ln -s pandoc pandoc-server ln -s pandoc pandoc-lua - popdir + popd for manpage in pandoc.1 pandoc-lua.1 pandoc-server.1 do cp $WORK/man/$manpage "$DEST/share/man/man1/$manpage" @@ -86,22 +86,22 @@ make_deb() { # Make tarball for pandoc make_tarball() { TARGET=pandoc-$VERSION - pushdir "$ARTIFACTS" + pushd "$ARTIFACTS" rm -rf "$TARGET" mkdir "$TARGET" mkdir "$TARGET/bin" "$TARGET/share" "$TARGET/share/man" "$TARGET/share/man/man1" cp $WORK/man/pandoc.1 $WORK/man/pandoc-server.1 $WORK/man/pandoc-lua.1 "$TARGET/share/man/man1" gzip -9 "$TARGET"/share/man/man1/*.1 mv pandoc "$TARGET/bin" - pushdir "$TARGET/bin" + pushd "$TARGET/bin" ln -s pandoc pandoc-server ln -s pandoc pandoc-lua - popdir + popd tar cvzf "$TARGET-linux-$ARCHITECTURE.tar.gz" "$TARGET" echo "Created $TARGET-linux-$ARCHITECTURE.tar.gz" rm -r "$TARGET" - popdir + popd } echo "Making debian package..." |
