diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-03-19 16:32:15 +0100 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-03-19 16:32:15 +0100 |
commit | 4a1c3faec869612d4ca5c87dc1ead9d2e3665aca (patch) | |
tree | e3480bf88dde7ab7261f82197555a569d0f69872 | |
parent | 74fd00b5f6a776df0fd10d3f4bea58d10ae3a2a3 (diff) | |
download | pandoc-4a1c3faec869612d4ca5c87dc1ead9d2e3665aca.tar.gz |
linux tarball: man pages in share/man rather than man/.
-rw-r--r-- | linux/make_tarball.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/linux/make_tarball.sh b/linux/make_tarball.sh index ff54db603..d4e74386c 100644 --- a/linux/make_tarball.sh +++ b/linux/make_tarball.sh @@ -5,11 +5,11 @@ TARGET=pandoc-$VERSION cd /artifacts mkdir $TARGET -mkdir $TARGET/bin $TARGET/man $TARGET/man/man1 -./pandoc-citeproc --man > $TARGET/man/man1/pandoc-citeproc.1 -cp /usr/src/pandoc/man/pandoc.1 $TARGET/man/man1 +mkdir $TARGET/bin $TARGET/share $TARGET/share/man $TARGET/share/man/man1 +./pandoc-citeproc --man > $TARGET/share/man/man1/pandoc-citeproc.1 +cp /usr/src/pandoc/man/pandoc.1 $TARGET/share/man/man1 mv pandoc pandoc-citeproc $TARGET/bin -gzip -9 $TARGET/man/man1/pandoc.1 -gzip -9 $TARGET/man/man1/pandoc-citeproc.1 +gzip -9 $TARGET/share/man/man1/pandoc.1 +gzip -9 $TARGET/share/man/man1/pandoc-citeproc.1 tar cvzf $TARGET.tar.gz $TARGET rm -r $TARGET |