diff options
| author | John MacFarlane <[email protected]> | 2023-12-11 23:08:40 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-12-11 23:08:40 -0800 |
| commit | a29049bd769163466290bcb0c9f3b51587d33a78 (patch) | |
| tree | 87dae9aa55331ef5f396c8c2f906f196bf671130 /linux | |
| parent | 4a5e5a4c90e1d7790a412eee2343010d00aa7035 (diff) | |
Fix man page locations in linux and macos package build scripts.
man pages have moved to pandoc-cli/man.
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/make_artifacts.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index 15718aa22..27f866adf 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -57,7 +57,7 @@ make_deb() { popd for manpage in pandoc.1 pandoc-lua.1 pandoc-server.1 do - cp $WORK/man/$manpage "$DEST/share/man/man1/$manpage" + cp "$WORK/pandoc-cli/man/$manpage" "$DEST/share/man/man1/$manpage" gzip -9 "$DEST/share/man/man1/$manpage" done cp $WORK/COPYRIGHT "$COPYRIGHT" @@ -84,7 +84,7 @@ make_tarball() { 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" + cp $WORK/pandoc-cli/man/pandoc.1 $WORK/pandoc-cli/man/pandoc-server.1 $WORK/pandoc-cli/man/pandoc-lua.1 "$TARGET/share/man/man1" gzip -9 "$TARGET"/share/man/man1/*.1 mv pandoc "$TARGET/bin" pushd "$TARGET/bin" |