diff options
author | rsiddharth <s@ricketyspace.net> | 2016-08-01 23:45:11 +0000 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2016-08-01 23:45:11 +0000 |
commit | 2815b452f9af7395e8e2178ddf8362c93bdce4ad (patch) | |
tree | df063fe2adaf6e086db176ffc2ba3810d35d601d | |
parent | 28b4bae99d448215a7b6f5173043158a157c099e (diff) |
update Makefile
* Makefile (push-docs): don't delete `releases`.
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -32,7 +32,7 @@ docs: .PHONY: docs push-docs: docs - @rsync -avz --delete docs/_build/ $(DIFME_DOCS_HOST) + @rsync -avz --exclude=releases --delete docs/_build/ $(DIFME_DOCS_HOST) .PHONY: push-docs |