opensource/pandoc
3
0
Fork 0
mirror of https://github.com/jgm/pandoc.git synced 2026-08-30 17:59:17 +08:00
Code Issues Packages Projects Releases Wiki Activity

Travis rc build: only copy pandoc executable.

Browse Source
This commit is contained in:
John MacFarlane
2020-10-11 00:02:26 -07:00
parent 01810a88c3
commit ce13579f8d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.travis.yml
+1 -1
View File
@@ -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 \