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
.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