From 47f52328508220464867e8659183296aa3040071 Mon Sep 17 00:00:00 2001
From: Matthias Ringwald <matthias@ringwald.ch>
Date: Thu, 27 May 2021 16:55:56 +0200
Subject: [PATCH] doc: prefix commit hash with branch name

---
 doc/manual/update_getting_started.sh | 3 ++-
 doc/manual/update_mkdocs_yml.sh      | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/doc/manual/update_getting_started.sh b/doc/manual/update_getting_started.sh
index 9c299c193..3f61b57d5 100755
--- a/doc/manual/update_getting_started.sh
+++ b/doc/manual/update_getting_started.sh
@@ -3,11 +3,12 @@
 # get commit and tag
 tag=`git tag --points-at HEAD`
 commit=`git rev-parse --short HEAD`
+branch=`git branch | sed -n -e 's/^\* \(.*\)/\1/p'`
 
 # use tag if available
 if [ -z "$tag" ]
 then
-  version="Commit $commit"
+  version="$branch-$commit"
 else
   version="Version $tag ($commit)"
 fi
diff --git a/doc/manual/update_mkdocs_yml.sh b/doc/manual/update_mkdocs_yml.sh
index c368d5eb2..82112197e 100755
--- a/doc/manual/update_mkdocs_yml.sh
+++ b/doc/manual/update_mkdocs_yml.sh
@@ -3,11 +3,12 @@
 # get commit and tag
 tag=`git tag --points-at HEAD`
 commit=`git rev-parse --short HEAD`
+branch=`git branch | sed -n -e 's/^\* \(.*\)/\1/p'`
 
 # use tag if available
 if [ -z "$tag" ]
 then
-  version=$commit
+  version="$branch-$commit"
 else
   version=$tag
 fi