diff options
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 |