summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 0 insertions, 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)