git.iko.soy/typeable/pandoc
on master help sign in
Updated make_deb.sh for new man page method.
commit1093adfd77bb052da92ec93a295818fd5659ba61 authorJohn MacFarlane <jgm@berkeley.edu> dateWed 1 Jul 2015, 12:21 (11 years ago) parent9f387a3
1 file changed+3−5
make_deb.sh+3−5
make_deb.sh+3−5
@@ -31,23 +31,21 @@ echo Building pandoc...
3131cabal clean
3232cabal install --force --reinstall --flags="embed_data_files make-pandoc-man-pages" . pandoc-citeproc
3333
34−make man
34+make $MANDIR/man1/pandoc.1
3535# get pandoc-citeproc man page:
3636PANDOC_CITEPROC_PATH=`cabal unpack -d make_binary_package.tmp.$$ pandoc-citeproc | awk '{print $3;}'`
3737strip $SANDBOX/bin/pandoc
3838strip $SANDBOX/bin/pandoc-citeproc
3939mkdir -p $DEST/bin
4040mkdir -p $DEST/share/man/man1
41−mkdir -p $DEST/share/man/man5
4241mkdir -p $DEST/share/doc/pandoc
42+
4343mkdir -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−$SANDBOX/bin/pandoc --man1 > $DEST/share/man/man1/pandoc.1
47+cp $MANDIR/man1/pandoc.1 $DEST/share/man/man1/pandoc.1
4848gzip -9 $DEST/share/man/man1/pandoc.1
49−$SANDBOX/bin/pandoc --man5 > $DEST/share/man/man5/pandoc_markdown.5
50−gzip -9 $DEST/share/man/man5/pandoc_markdown.5
5149cp $PANDOC_CITEPROC_PATH/man/man1/pandoc-citeproc.1 $DEST/share/man/man1/
5250gzip -9 $DEST/share/man/man1/pandoc-citeproc.1
5351cp COPYRIGHT $COPYRIGHT