summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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: