From 593192df54d76dc3c010a497f4735b8fec0e92b2 Mon Sep 17 00:00:00 2001 From: Ramon Roche Date: Tue, 6 May 2025 12:13:00 -0700 Subject: [PATCH] toos: remove unnecessary file Signed-off-by: Ramon Roche --- Tools/ci/docs_metadata.sh | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 Tools/ci/docs_metadata.sh diff --git a/Tools/ci/docs_metadata.sh b/Tools/ci/docs_metadata.sh deleted file mode 100644 index 6c8285c9dd..0000000000 --- a/Tools/ci/docs_metadata.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash - -# create uorb graphs and move to docs -make uorb_graphs -cp Tools/uorb_graph/*.json docs/public/middleware/ -# create failsafe sim -# uorb message docs -# parameter metadata -# airframe reference -# module docs