From 0737474c588c9785712b3f191a6655fa03e0826f Mon Sep 17 00:00:00 2001 From: rsiddharth Date: Mon, 12 Nov 2018 21:54:02 -0500 Subject: Makefile: Remove blank lines. --- Makefile | 5 ----- 1 file changed, 5 deletions(-) diff --git a/Makefile b/Makefile index 2a3f6d7..fd36924 100644 --- 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) -- cgit v1.2.3