From 7c62c7f9331ee4c48651b81e19441dc44100b241 Mon Sep 17 00:00:00 2001
From: Piotr Sawicki <p.sawicki2@samsung.com>
Date: Mon, 1 Jun 2026 07:13:47 +0200
Subject: [PATCH] Remove empty line in make_doc.sh script

This was reported by shfmt tool used by the CI's rule checker.

Signed-off-by: Piotr Sawicki <p.sawicki2@samsung.com>
---
 scripts/make_doc.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/make_doc.sh b/scripts/make_doc.sh
index 6354c4625a4a..c8c102179901 100755
--- a/scripts/make_doc.sh
+++ b/scripts/make_doc.sh
@@ -17,7 +17,6 @@ cd ${ROOT}/sdk
 cargo doc --lib --no-deps -p islet_sdk
 cp -R ${ROOT}/out/x86_64-unknown-linux-gnu/doc ${ROOT}/doc/app-doc
 
-
 # HES crate
 rm -rf ${ROOT}/doc/hes-doc
 cd ${ROOT}/hes