commit 0737474c588c9785712b3f191a6655fa03e0826f
parent 3f4faf067f9a1905eae4ddd1a104be57b92ae237
Author: rsiddharth <s@ricketyspace.net>
Date: Mon, 12 Nov 2018 21:54:02 -0500
Makefile: Remove blank lines.
Diffstat:
1 file changed, 0 insertions(+), 5 deletions(-)
diff --git a/Makefile b/Makefile
@@ -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)