diff --git a/tribits/doc/utils/gen_doc_utils.sh b/tribits/doc/utils/gen_doc_utils.sh index 639aa68dd..fae38a784 100644 --- a/tribits/doc/utils/gen_doc_utils.sh +++ b/tribits/doc/utils/gen_doc_utils.sh @@ -48,6 +48,13 @@ function generate_git_version_file { _TRIBITS_TAG_PREFIX=`cat ../../../tribits_tag_prefix.txt` if [ -e ../../../.git ] ; then + echo + echo "Running: pwd" + pwd + echo "_TRIBITS_TAG_PREFIX = '${_TRIBITS_TAG_PREFIX}'" + echo "Running: git tag" + git tag + echo echo echo "Generating git version" echo