From e680aa18e274d422a662dc919a3cefc3c1bea505 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Fri, 20 Jan 2023 08:51:43 -0800 Subject: Fix man page copying in `linux/make_artifacts.sh`. Previously we were copying the pandoc-server.1 pandoc page to pandoc-lua.1. This should resolve #8566, but it should be tested after a new release candidate is generated. --- linux/make_artifacts.sh | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) (limited to 'linux/make_artifacts.sh') diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index f7d76948a..d90516958 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -58,13 +58,11 @@ make_deb() { ln -s pandoc pandoc-server ln -s pandoc pandoc-lua cd /mnt - cp /mnt/man/pandoc.1 $DEST/share/man/man1/pandoc.1 - gzip -9 $DEST/share/man/man1/pandoc.1 - cp /mnt/man/pandoc-server.1 $DEST/share/man/man1/pandoc-server.1 - gzip -9 $DEST/share/man/man1/pandoc-server.1 - cp /mnt/man/pandoc-server.1 $DEST/share/man/man1/pandoc-lua.1 - gzip -9 $DEST/share/man/man1/pandoc-lua.1 - + for manpage in pandoc.1 pandoc-lua.1 pandoc-server.1 + do + cp /mnt/man/$manpage $DEST/share/man/man1/$manpage + gzip -9 $DEST/share/man/man1/$manpage + done cp /mnt/COPYRIGHT $COPYRIGHT echo "" >> $COPYRIGHT -- cgit v1.2.3