Minor change to make_artifacts.sh.
commit15813290d0d085f816f0f30683ae9b66421e7247
authorJohn MacFarlane <jgm@berkeley.edu>
dateSun 2 Aug 2020, 10:02 (6 years ago)
parent4668b71
linux/make_artifacts.sh+1−1
@@ -71,7 +71,7 @@ rm -rf $TARGET
7171mkdir $TARGET
7272mkdir $TARGET/bin $TARGET/share $TARGET/share/man $TARGET/share/man/man1
7373./pandoc-citeproc --man > $TARGET/share/man/man1/pandoc-citeproc.1
74−cp /mnt/man/pandoc.1 $TARGET/share/man/man1
74+cp man/pandoc.1 $TARGET/share/man/man1
7575mv pandoc pandoc-citeproc $TARGET/bin
7676strip $TARGET/bin/pandoc
7777strip $TARGET/bin/pandoc-citeproc