From f16227e82893c4acf93ca45f40a5572d41680367 Mon Sep 17 00:00:00 2001
From: Hsing-Hui Hsu <hsinghui@amazon.com>
Date: Tue, 16 Mar 2021 13:13:25 -0700
Subject: [PATCH] chore: remove unused make targets

Docs are now generated using GitHub actions, so these targets are no
longer necessary.
---
 Makefile | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/Makefile b/Makefile
index 777af889faf..0caee57f9df 100644
--- a/Makefile
+++ b/Makefile
@@ -130,22 +130,6 @@ tools:
 	@echo "Installing custom resource dependencies" &&\
 	cd ${SOURCE_CUSTOM_RESOURCES} && npm install
 
-# Run the docs locally.
-.PHONY: start-docs
-start-docs:
-	cd ${SOURDE_DOCS} &&\
-	git submodule update --init --recursive &&\
-	hugo server -D
-
-# Build and minify the documentation to the docs/ directory.
-.PHONY: build-docs
-build-docs:
-	cd ${SOURDE_DOCS} &&\
-	git submodule update --init --recursive &&\
-	npm install &&\
-	hugo &&\
-	cd ..
-
 .PHONY: gen-mocks
 gen-mocks: tools
 	# TODO: make this more extensible?