diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-10-11 00:02:26 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-10-11 00:02:26 -0700 |
commit | ce13579f8d80f90cc7bee37e46be82140423ffe7 (patch) | |
tree | e5ee041058f5585dbc8f0e3cc93e66416f2ea324 | |
parent | 01810a88c3d2d543b9819a70f51cdafbb5e6cd7c (diff) | |
download | pandoc-ce13579f8d80f90cc7bee37e46be82140423ffe7.tar.gz |
Travis rc build: only copy pandoc executable.
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 0a1f2b8b6..6855ddd75 100644 --- a/.travis.yml +++ b/.travis.yml @@ -31,7 +31,7 @@ install: mkdir -p ${DEST}/share/man/man1 stack build --dependencies-only pandoc stack build pandoc - for f in $(find .stack-work/install -name 'pandoc*' -perm +001 -type f); do cp $f ${DEST}/bin/; done + for f in $(find .stack-work/install -name 'pandoc' -perm +001 -type f); do cp $f ${DEST}/bin/; done strip ${DEST}/bin/pandoc cp man/pandoc.1 ${DEST}/share/man/man1/pandoc.1 ${DEST}/bin/pandoc -t html5 -s COPYING.md -Vpagetitle=License \ |