make_deb.sh: --force reinstall.
This commit is contained in:
parent
ddd774c404
commit
9e95de6fcf
1 changed files with 1 additions and 1 deletions
|
@ -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:
|
||||
|
|
Loading…
Reference in a new issue