summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile15
1 files changed, 0 insertions, 15 deletions
diff --git a/Makefile b/Makefile
index a36a8f1..abe3cd2 100644
--- a/Makefile
+++ b/Makefile
@@ -14,21 +14,6 @@ lint: tools/bin/golangci-lint
tools/bin/golangci-lint run ./...
.PHONY: lint
-# generate
-
-generate/files = COPYING.gpl-2.0.txt
-
-generate: generate-clean
- $(MAKE) $(generate/files)
-.PHONY: generate
-
-generate-clean:
- rm -f $(generate/files)
-.PHONY: generate-clean
-
-COPYING.gpl-2.0.txt:
- curl https://www.gnu.org/licenses/old-licenses/gpl-2.0.txt > $@
-
# tools
tools/bin/%: tools/src/%/pin.go tools/src/%/go.mod