From f22fbc771a2f57d4d3410bcce7ee53d4b3d9825d Mon Sep 17 00:00:00 2001
From: Filip Bucek <filip.bucek@spaceti.com>
Date: Tue, 5 Nov 2019 17:54:35 +0100
Subject: [PATCH] removed one empty line

---
 scripts/doc.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/doc.sh b/scripts/doc.sh
index f36932b..5a3baad 100755
--- a/scripts/doc.sh
+++ b/scripts/doc.sh
@@ -14,7 +14,6 @@ SOURCE_DIR=$CURRENT_DIR"/.."
 BUILD_DIR=$SOURCE_DIR"/../../build"
 
 main() {
-
     doc "$@"
 }