make_deb.sh: --force reinstall.
commit9e95de6fcf8603c1e9f59b83f76c76fca7317bca
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 19 Dec 2014, 20:20 (12 years ago)
parentddd774c
make_deb.sh+1−1
@@ -31,7 +31,7 @@ export PATH=`pwd`/.cabal-sandbox/bin:$PATH
3131which hsb2hs || cabal install hsb2hs
3232echo Building pandoc...
3333cabal clean
34−cabal install --reinstall --flags="embed_data_files make-pandoc-man-pages" . pandoc-citeproc
34+cabal install --force --reinstall --flags="embed_data_files make-pandoc-man-pages" . pandoc-citeproc
3535
3636make man
3737# get pandoc-citeproc man page: