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 |