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