From 05bedcc6974003ed4a4e657f0108fa758b2a9512 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Klinkovsk=C3=BD?= <klinkovsky@mmg.fjfi.cvut.cz>
Date: Fri, 23 Aug 2019 13:25:48 +0200
Subject: [PATCH] Documentation: fixed branch name for CI builds

---
 Documentation/build | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/Documentation/build b/Documentation/build
index a516bfbe1..115769ff1 100755
--- a/Documentation/build
+++ b/Documentation/build
@@ -31,8 +31,13 @@ done
 rm -rf ./html/
 
 # Assemble environment variables which are used in the Doxyfile
-#PROJECT_NUMBER="version $(git branch --show-current):$(git log -1 --format="%h (%cd)")"
-PROJECT_NUMBER="version $(git branch --show-current):$(git rev-parse --short HEAD)"
+if [[ "$CI_COMMIT_REF_NAME" == "" ]]; then
+   _branch=$(git branch --show-current)
+else
+   _branch="$CI_COMMIT_REF_NAME"
+fi
+#PROJECT_NUMBER="version $_branch:$(git log -1 --format="%h (%cd)")"
+PROJECT_NUMBER="version $_branch:$(git rev-parse --short HEAD)"
 
 # Generate documentation
 PROJECT_NUMBER="$PROJECT_NUMBER" doxygen
-- 
GitLab