git.iko.soy/typeable/pandoc
on master help sign in
More fixes in make_artifacts.sh.
commit9d3dc772ec87d29228bef99285f1879b7c10b810 authorJohn MacFarlane <jgm@berkeley.edu> dateSun 2 Aug 2020, 14:00 (6 years ago) parent2086d55
1 file changed+3−3
linux/make_artifacts.sh+3−3
linux/make_artifacts.sh+3−3
@@ -41,12 +41,12 @@ cp $ARTIFACTS/pandoc $DEST/bin/
4141cp $ARTIFACTS/pandoc-citeproc $DEST/bin/
4242strip $DEST/bin/pandoc
4343strip $DEST/bin/pandoc-citeproc
44−cp man/pandoc.1 $DEST/share/man/man1/pandoc.1
44+cp /mnt/man/pandoc.1 $DEST/share/man/man1/pandoc.1
4545$ARTIFACTS/pandoc-citeproc --man > $DEST/share/man/man1/pandoc-citeproc.1
4646gzip -9 $DEST/share/man/man1/pandoc.1
4747gzip -9 $DEST/share/man/man1/pandoc-citeproc.1
4848
49−cp COPYRIGHT $COPYRIGHT
49+cp /mnt/COPYRIGHT $COPYRIGHT
5050echo "" >> $COPYRIGHT
5151echo "pandoc-citeproc" >> $COPYRIGHT
5252$ARTIFACTS/pandoc-citeproc --license >> $COPYRIGHT
@@ -73,7 +73,7 @@ rm -rf $TARGET
7373mkdir $TARGET
7474mkdir $TARGET/bin $TARGET/share $TARGET/share/man $TARGET/share/man/man1
7575./pandoc-citeproc --man > $TARGET/share/man/man1/pandoc-citeproc.1
76−cp man/pandoc.1 $TARGET/share/man/man1
76+cp /mnt/man/pandoc.1 $TARGET/share/man/man1
7777mv pandoc pandoc-citeproc $TARGET/bin
7878strip $TARGET/bin/pandoc
7979strip $TARGET/bin/pandoc-citeproc