summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2017-12-28 16:12:32 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2017-12-28 16:12:32 -0800
commit4496b0da0f6e70d26789389d86717c2314e3f761 (patch)
tree0f694e9c442702dd47560910970f39236ec5bcf8
parentf61a8454f226c265d2de9906b93dc0dbde562726 (diff)
Makefile: add update-website target
-rw-r--r--Makefile6
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 9754c628f..e636e418b 100644
--- a/Makefile
+++ b/Makefile
@@ -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