Remove unused make target

2025-08-17 00:56:11 +00:00 · 2023-12-21 00:43:02 +03:00
parent 93bfc5d258
commit 776967038c
1 changed files with 0 additions and 3 deletions
--- a/3
+++ b/3
@@ -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