git.iko.soy/typeable/pandoc
on master help sign in
Makefile: add update-website target
commit4496b0da0f6e70d26789389d86717c2314e3f761 authorJohn MacFarlane <jgm@berkeley.edu> dateThu 28 Dec 2017, 16:12 (9 years ago) parentf61a845
1 file changed+6
Makefile+6
Makefile+6
@@ -4,6 +4,7 @@ SOURCEFILES?=$(shell find pandoc.hs src test -name '*.hs')
44BRANCH?=master
55RESOLVER=lts-10
66GHCOPTS=-fdiagnostics-color=always -Wall -fno-warn-unused-do-bind -Wincomplete-record-updates -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances
7+WEBSITE=../../web/pandoc.org
78
89quick:
910 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:
9697trypandoc:
9798 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'
9899
100+update-website:
101+ make -C $(WEBSITE) update
102+ make -C $(WEBSITE)
103+ make -C $(WEBSITE) upload
104+
99105clean:
100106 stack clean
101107