From 477ed0bb7373b0b10873a088507a8a55b880bb83 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Mierzwa?= <l.mierzwa@gmail.com>
Date: Mon, 23 Nov 2020 08:54:31 +0000
Subject: [PATCH] fix(ci): remove dead make target

---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index 352596039..8ffd408fb 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,6 @@ include make/lint-versions.mk
 .PHONY: lint
 lint: lint-bootstrap-version
 	make -C ui lint-js
-	make -C ui lint-docs
 
 .PHONY: test
 test: lint