diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-12-19 20:20:08 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-12-19 20:20:08 -0800 |
| commit | 9e95de6fcf8603c1e9f59b83f76c76fca7317bca (patch) | |
| tree | 833bea25478aab4735bea1172578145089b135b4 | |
| parent | ddd774c40469ce3914cdbc95dd1a63f39f68b10a (diff) | |
| download | pandoc-9e95de6fcf8603c1e9f59b83f76c76fca7317bca.tar.gz | |
make_deb.sh: --force reinstall.
| -rwxr-xr-x | make_deb.sh | 2 |
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: |