lee/pandoc
1
0
Fork 0
mirror of https://github.com/jgm/pandoc.git synced 2026-08-24 01:06:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Strip executables in linux package.

Browse Source
This commit is contained in:
John MacFarlane
2017-08-18 14:37:44 -07:00
parent 995d17353b
commit fbb79c1bcd
2 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
linux/make_deb.sh
+2
View File
@@ -29,6 +29,8 @@ mkdir -p $DEST/share/doc/pandoc-citeproc
find $DIST -type d | xargs chmod 755
cp $ARTIFACTS/pandoc $DEST/bin/
cp $ARTIFACTS/pandoc-citeproc $DEST/bin/
strip $DEST/bin/pandoc
strip $DEST/bin/pandoc-citeproc
cp man/pandoc.1 $DEST/share/man/man1/pandoc.1
/artifacts/pandoc-citeproc --man > $DEST/share/man/man1/pandoc-citeproc.1
gzip -9 $DEST/share/man/man1/pandoc.1
linux/make_tarball.sh
+2
View File
@@ -10,6 +10,8 @@ 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
strip $TARGET/bin/pandoc
strip $TARGET/bin/pandoc-citeproc
gzip -9 $TARGET/share/man/man1/pandoc.1
gzip -9 $TARGET/share/man/man1/pandoc-citeproc.1
tar cvzf $TARGET.tar.gz $TARGET