diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-07-01 12:32:55 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-01 12:32:55 -0700 |
commit | b1f835976dc724252fe197c00fee4fbe53f3a604 (patch) | |
tree | b388686ee0e308fb6e29385a5e2a44b674634a1e /make_deb.sh | |
parent | dd8a1e50921631ab044ce188c54d35a5d1c1991d (diff) | |
download | pandoc-b1f835976dc724252fe197c00fee4fbe53f3a604.tar.gz |
Always rebuild man page in making deb and osx package.
Diffstat (limited to 'make_deb.sh')
-rwxr-xr-x | make_deb.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make_deb.sh b/make_deb.sh index 824ef84c9..3b6957fcd 100755 --- a/make_deb.sh +++ b/make_deb.sh @@ -31,7 +31,7 @@ echo Building pandoc... cabal clean cabal install --force --reinstall --flags="embed_data_files make-pandoc-man-pages" . pandoc-citeproc -make $MANDIR/man1/pandoc.1 +make -B $MANDIR/man1/pandoc.1 # get pandoc-citeproc man page: PANDOC_CITEPROC_PATH=`cabal unpack -d make_binary_package.tmp.$$ pandoc-citeproc | awk '{print $3;}'` strip $SANDBOX/bin/pandoc |