git.iko.soy/typeable/pandoc
on master help sign in
make_deb.sh: Use pandoc to create man pages.
commite2267a8e46c6d77dbe074967bd0e9dd395b04b37 authorJohn MacFarlane <jgm@berkeley.edu> dateMon 29 Jun 2015, 22:44 (11 years ago) parent5e10375
1 file changed+2−2
compare with master
unifiedsplit
make_deb.sh+2−2
make_deb.sh+2−2
@@ -44,9 +44,9 @@ mkdir -p $DEST/share/doc/pandoc-citeproc
4444find $DIST -type d | xargs chmod 755
4545cp $SANDBOX/bin/pandoc $DEST/bin/
4646cp $SANDBOX/bin/pandoc-citeproc $DEST/bin/
47−cp $MANDIR/man1/pandoc.1 $DEST/share/man/man1/
47+$SANDBOX/bin/pandoc --man1 > $DEST/share/man/man1/pandoc.1
4848gzip -9 $DEST/share/man/man1/pandoc.1
49−cp $MANDIR/man5/pandoc_markdown.5 $DEST/share/man/man5/
49+$SANDBOX/bin/pandoc --man5 > $DEST/share/man/man5/pandoc_markdown.5
5050gzip -9 $DEST/share/man/man5/pandoc_markdown.5
5151cp $PANDOC_CITEPROC_PATH/man/man1/pandoc-citeproc.1 $DEST/share/man/man1/
5252gzip -9 $DEST/share/man/man1/pandoc-citeproc.1