From 4ded3f9b809cd70229af118c93c898fde28e1431 Mon Sep 17 00:00:00 2001
From: Anatolii Kmetiuk <anatoliykmetyuk@gmail.com>
Date: Wed, 6 May 2020 11:53:42 +0200
Subject: [PATCH] Fix website publishing issue

---
 project/scripts/genDocs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project/scripts/genDocs b/project/scripts/genDocs
index 3e43b074f34a..2e0a4a12f81d 100755
--- a/project/scripts/genDocs
+++ b/project/scripts/genDocs
@@ -7,7 +7,7 @@ echo "Working directory: $PWD"
 GENDOC_EXTRA_ARGS=$@
 GIT_HEAD=$(git rev-parse HEAD) # save current head for commit message in gh-pages
 PREVIOUS_SNAPSHOTS_DIR="$PWD/../prev_snapshots"
-SCRIPT_DIR="(cd "$(dirname "${BASH_SOURCE[0]}")" >& /dev/null && pwd)"
+SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >& /dev/null && pwd)"
 SITE_OUT_DIR="$PWD/docs/_site"
 
 ### Obtain the previous versions of the website ###