From ef2ab115767d63fad72f8ae2e2b029731246ff1f Mon Sep 17 00:00:00 2001 From: Valeri Karpov Date: Sat, 2 Feb 2019 22:25:08 -0500 Subject: [PATCH] chore(Makefile): remove unused rule --- Makefile | 2 -- 1 file changed, 2 deletions(-) diff --git a/Makefile b/Makefile index a52106995f0..f1428b2d69f 100644 --- a/Makefile +++ b/Makefile @@ -52,5 +52,3 @@ copylegacy: mkdir -p ./docs/$(LEGACY_BRANCH) cp -R ./tmp/* ./docs/$(LEGACY_BRANCH)/ rm -rf ./tmp - -.PHONY: test test-short test-long ghpages site docs docclean gendocs docs_from_master docs_unstable master copytmp copyunstable gitreset docclean_unstable