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 | |
| parent | dd8a1e50921631ab044ce188c54d35a5d1c1991d (diff) | |
Always rebuild man page in making deb and osx package.
| -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;}'` |