diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-12-28 16:12:32 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-12-28 16:12:32 -0800 |
| commit | 4496b0da0f6e70d26789389d86717c2314e3f761 (patch) | |
| tree | 0f694e9c442702dd47560910970f39236ec5bcf8 | |
| parent | f61a8454f226c265d2de9906b93dc0dbde562726 (diff) | |
| download | pandoc-4496b0da0f6e70d26789389d86717c2314e3f761.tar.gz | |
Makefile: add update-website target
| -rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -4,6 +4,7 @@ SOURCEFILES?=$(shell find pandoc.hs src test -name '*.hs') BRANCH?=master RESOLVER=lts-10 GHCOPTS=-fdiagnostics-color=always -Wall -fno-warn-unused-do-bind -Wincomplete-record-updates -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances +WEBSITE=../../web/pandoc.org quick: stack install --resolver=$(RESOLVER) --ghc-options='$(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --fast --test --test-arguments='-j4 --hide-successes $(TESTARGS)' @@ -96,6 +97,11 @@ pandoc-templates: trypandoc: ssh -t macfarlane 'cd src/pandoc && git pull && ~/.local/bin/stack install --flag pandoc:trypandoc --flag pandoc:embed_data_files && cd trypandoc && sudo make install' +update-website: + make -C $(WEBSITE) update + make -C $(WEBSITE) + make -C $(WEBSITE) upload + clean: stack clean |