From 9e95de6fcf8603c1e9f59b83f76c76fca7317bca Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 19 Dec 2014 20:20:08 -0800
Subject: [PATCH] make_deb.sh:  --force reinstall.

---
 make_deb.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: