diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-01-12 22:33:56 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-01-12 22:33:56 -0800 |
| commit | a9f6ed2f97045c0195780f41a32187493aaca85c (patch) | |
| tree | 8ad0ee3b07f66cef009a42977c6c22a582078197 | |
| parent | 4fdbb30a97d0b10d64888783d803d1654da1975d (diff) | |
Fix 'make trypandoc' target.
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | trypandoc/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -136,7 +136,7 @@ pandoc-templates: popd trypandoc: - ssh -t macfarlane 'cd src/pandoc && git pull && stack install --flag pandoc:trypandoc --flag pandoc:embed_data_files && cd trypandoc && sudo make install' + ssh -t macfarlane 'cd src/pandoc && git pull && cabal update && cabal install -ftrypandoc -fembed_data_files --install-method=copy --overwrite-policy=always && cd trypandoc && sudo make install' update-website: make -C $(WEBSITE) update diff --git a/trypandoc/Makefile b/trypandoc/Makefile index f5f6046b1..cedf37721 100644 --- a/trypandoc/Makefile +++ b/trypandoc/Makefile @@ -1,7 +1,7 @@ CGIBIN=/home/website/cgi-bin TRYPANDOC=/home/website/pandoc.org/try/ CGI=${CGIBIN}/trypandoc -BIN=/home/jgm/.local/bin/trypandoc +BIN=/home/jgm/.cabal/bin/trypandoc install: ${CGI} ${TRYPANDOC}/index.html |