summaryrefslogtreecommitdiff
path: root/make_deb.sh
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-12-19 20:20:08 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-12-19 20:20:08 -0800
commit9e95de6fcf8603c1e9f59b83f76c76fca7317bca (patch)
tree833bea25478aab4735bea1172578145089b135b4 /make_deb.sh
parentddd774c40469ce3914cdbc95dd1a63f39f68b10a (diff)
make_deb.sh: --force reinstall.
Diffstat (limited to 'make_deb.sh')
-rwxr-xr-xmake_deb.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/make_deb.sh b/make_deb.sh
index 2b755723b..fc11a05c2 100755
--- a/make_deb.sh
+++ b/make_deb.sh
@@ -31,7 +31,7 @@ export PATH=`pwd`/.cabal-sandbox/bin:$PATH
which hsb2hs || cabal install hsb2hs
echo Building pandoc...
cabal clean
-cabal install --reinstall --flags="embed_data_files make-pandoc-man-pages" . pandoc-citeproc
+cabal install --force --reinstall --flags="embed_data_files make-pandoc-man-pages" . pandoc-citeproc
make man
# get pandoc-citeproc man page: