This repository has been archived on 2024-11-04. You can view files and clone it, but cannot push or open issues or pull requests.
2019-08-22 19:48:50 +00:00
|
|
|
HOST=wisc
|
2019-07-30 18:59:00 +00:00
|
|
|
DEPLOY=/u/j/u/justhsu/public/html-s/teaching/current/cs763
|
2020-08-14 15:52:14 +00:00
|
|
|
# ARCHIVE=/u/j/u/justhsu/public/html-s/teaching/f20/cs763
|
2018-07-21 20:34:26 +00:00
|
|
|
|
|
|
|
|
build:
|
2018-09-04 03:43:48 +00:00
|
|
|
make assets && mkdocs build
|
2018-07-21 20:34:26 +00:00
|
|
|
|
|
|
|
|
preview:
|
2018-09-04 03:43:48 +00:00
|
|
|
make assets && mkdocs serve
|
|
|
|
|
|
|
|
|
|
assets:
|
|
|
|
|
(cd docs/resources/slides; make)
|
2018-07-21 20:34:26 +00:00
|
|
|
|
|
|
|
|
install:
|
|
|
|
|
pip install mkdocs mkdocs-material pymdown-extensions
|
2021-01-14 12:25:14 +00:00
|
|
|
(cabal new-update && cabal new-install pandoc)
|
2018-07-21 20:34:26 +00:00
|
|
|
|
|
|
|
|
deploy:
|
|
|
|
|
make build
|
|
|
|
|
find . -type d -exec chmod a+rx {} \;
|
|
|
|
|
find . -type f -exec chmod a+r {} \;
|
2018-12-25 23:19:21 +00:00
|
|
|
rsync -avzp --delete -e ssh ./site/ $(HOST):$(DEPLOY)
|
|
|
|
|
|
|
|
|
|
archive:
|
|
|
|
|
make build
|
|
|
|
|
find . -type d -exec chmod a+rx {} \;
|
|
|
|
|
find . -type f -exec chmod a+r {} \;
|
|
|
|
|
ssh $(HOST) mkdir -p $(ARCHIVE)
|
|
|
|
|
rsync -avzp --delete -e ssh ./site/ $(HOST):$(ARCHIVE)
|
