notes/Makefile
Daniel Bulant 0bfaf4143f backup
2021-10-14 10:55:27 +02:00

10 lines
No EOL
302 B
Makefile

.PHONY: deploy
deploy: book
@echo "====> deploying to github"
git worktree add /tmp/book gh-pages
rm -rf /tmp/book/*
cp -rp html/* /tmp/book/
cd /tmp/book && \
git add -A && \
git commit -m "deployed on $(shell date) by ${USER}" && \
git push origin gh-pages