diff options
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 |