diff options
| author | rsiddharth <s@ricketyspace.net> | 2018-11-12 21:54:02 -0500 |
|---|---|---|
| committer | rsiddharth <s@ricketyspace.net> | 2018-11-12 21:54:02 -0500 |
| commit | 0737474c588c9785712b3f191a6655fa03e0826f (patch) | |
| tree | 17bbe808300cf3be6f01b6c7057d5c52417f2904 | |
| parent | 3f4faf067f9a1905eae4ddd1a104be57b92ae237 (diff) | |
Makefile: Remove blank lines.
| -rw-r--r-- | Makefile | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -20,26 +20,21 @@ nothing: .PHONY: nothing git-difme: $(git_difme) - .PHONY: git-difme config: $(config_file) - .PHONY: config docs: @make -C docs html - .PHONY: docs push-docs: docs @rsync -avz --exclude=releases --delete docs/_build/ $(DIFME_DOCS_HOST) - .PHONY: push-docs docs-clean: @make -C docs clean - .PHONY: docs-clean $(git_difme): $(git_difme_src) |