diff options
| author | John MacFarlane <[email protected]> | 2022-09-22 14:49:02 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-09-22 14:49:02 -0700 |
| commit | 8ad64a831808d7d062279c9e0429a1b21a7075a9 (patch) | |
| tree | 7f7a5338afc1a7109630d1d7176ed69d92eb8f7b /linux/make_artifacts.sh | |
| parent | 22fa51ded17367a49114a1dc993402294579f7ea (diff) | |
Add pandoc-lua and man pages to releases.
Diffstat (limited to 'linux/make_artifacts.sh')
| -rw-r--r-- | linux/make_artifacts.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index 4653a0c19..370092a10 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -53,11 +53,14 @@ make_deb() { cd $DEST/bin strip pandoc 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 cp /mnt/COPYRIGHT $COPYRIGHT echo "" >> $COPYRIGHT @@ -84,13 +87,16 @@ make_tarball() { mkdir $TARGET/bin $TARGET/share $TARGET/share/man $TARGET/share/man/man1 cp /mnt/man/pandoc.1 $TARGET/share/man/man1 cp /mnt/man/pandoc-server.1 $TARGET/share/man/man1 + cp /mnt/man/pandoc-lua.1 $TARGET/share/man/man1 mv pandoc $TARGET/bin cd $TARGET/bin strip pandoc ln -s pandoc pandoc-server + ln -s pandoc pandoc-lua cd $ARTIFACTS gzip -9 $TARGET/share/man/man1/pandoc.1 gzip -9 $TARGET/share/man/man1/pandoc-server.1 + gzip -9 $TARGET/share/man/man1/pandoc-lua.1 tar cvzf $TARGET-linux-$ARCHITECTURE.tar.gz $TARGET rm -r $TARGET |