Code owners
Assign users and groups as approvers for specific file changes. Learn more.
Makefile 438 B
.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
cp ./docs/uberdoc.html ~/Desktop/index.html.temp
git checkout gh-pages
git pull
rm index.html
mv ~/Desktop/index.html.temp index.html
git add index.html
git commit -m "Updated dox."
git push
git checkout master