From 776967038c455961afeebd8c0f782a1507aa23f0 Mon Sep 17 00:00:00 2001
From: Oleg Kalachev <okalachev@gmail.com>
Date: Thu, 21 Dec 2023 00:43:02 +0300
Subject: [PATCH] Remove unused make target

---
 Makefile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Makefile b/Makefile
index 10d369e..bdceaad 100644
--- a/Makefile
+++ b/Makefile
@@ -36,9 +36,6 @@ log:
 plot:
 	plotjuggler -d $(shell ls -t tools/log/*.csv | head -n1)
 
-docs:
-	for FILE in docs/*.d2; do d2 $$FILE; done
-
 clean:
 	rm -rf gazebo/build flix/build flix/cache .dependencies