diff options
| author |  Mike Burns <mike@mike-burns.com> | 2013-08-03 13:58:18 -0400 |
|---|---|---|
| committer | Mike Burns <mike@mike-burns.com> | 2013-08-03 13:58:18 -0400 |
| commit | 17c803d03d20f84cb37873e05d1539dbe7d43a77 (patch) | |
| tree | d125b63c2e76af644728f18b3fdea69073a895d5 /Makefile.am | |
| parent | 87668e253460b48e5ffa1f4031afd8747514ac4d (diff) | |
Some 1.0.0 cruft
I'll figure out `make release` someday.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 85c280b..2b9bd6a 100644 --- a/Makefile.am +++ b/Makefile.am @@ -37,6 +37,6 @@ build-docs: upload-docs: build-docs cd gh-pages ; \ git commit -am "update pages" ; \ - git push $(ORIGIN_URL) gh-pages ; \ + git push -f $(ORIGIN_URL) gh-pages ; \ cd .. && \ rm -rf gh-pages |