diff options
Diffstat (limited to 'make_deb.sh')
| -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: |