diff options
| -rwxr-xr-x | make_deb.sh | 2 | ||||
| -rwxr-xr-x | make_osx_package.sh | 2 |
2 files changed, 2 insertions, 2 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 diff --git a/make_osx_package.sh b/make_osx_package.sh index 229c53f76..27ab632de 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -28,7 +28,7 @@ cabal clean cabal install cpphs hsb2hs cabal install --ghc-options="-optl-mmacosx-version-min=10.6" --reinstall --flags="embed_data_files make-pandoc-man-pages" --ghc-options "-pgmP$CPPHS -optP--cpp" . pandoc-citeproc -make $MANDIR/man1/pandoc.1 +make -B $MANDIR/man1/pandoc.1 # get pandoc-citeproc man page: PANDOC_CITEPROC_PATH=`cabal unpack -d $DIST pandoc-citeproc | awk '{print $3;}'` |