2018-02-17 18:16:38 +00:00
|
|
|
TOP=stack exec website-exe
|
2015-01-05 06:20:06 +00:00
|
|
|
|
2018-02-17 18:16:38 +00:00
|
|
|
all:
|
|
|
|
stack build
|
2015-01-05 06:20:06 +00:00
|
|
|
|
2018-02-17 18:16:38 +00:00
|
|
|
check:
|
|
|
|
$(TOP) check
|
2016-10-14 02:06:10 +00:00
|
|
|
|
2018-02-17 18:16:38 +00:00
|
|
|
preview:
|
2018-07-30 03:00:53 +00:00
|
|
|
$(TOP) rebuild && (cd _site; python -m http.server)
|
2015-02-20 17:25:30 +00:00
|
|
|
|
2018-02-17 18:16:38 +00:00
|
|
|
deploy:
|
|
|
|
$(TOP) rebuild && $(TOP) deploy && $(TOP) check
|
2015-01-05 06:20:06 +00:00
|
|
|
|
2018-10-31 19:56:30 +00:00
|
|
|
install:
|
|
|
|
opam update && opam install bibtex2html
|
|
|
|
gem update --system && gem install compass
|
|
|
|
|
2015-01-05 06:20:06 +00:00
|
|
|
clean:
|
2018-02-17 18:16:38 +00:00
|
|
|
stack clean
|