Newer
Older
.PHONY: dox
# Generate marginalia dox and push them to GitHub pages for this repo
# You should do this from an up-to-date `master` branch without untracked local changes
dox:
git checkout master
git pull
lein marg
git checkout gh-pages
git pull
git add index.html
git commit -m "Updated dox."