ADD: set correct git toplevel directory

main
Dominik Meyer 1 year ago
parent a470e662ac
commit dbd138f09d

@ -10,6 +10,9 @@
FIRSTTAG=$(git describe --tags --always --dirty='-*' 2>/dev/null)
# Get the first tag in history that looks like a Release
RELTAG=$(git describe --tags --long --always --dirty='-*' --match '[0-9]*.*' 2>/dev/null)
# Get toplevel directory
GITDIR=$(git rev-parse --show-toplevel)
# Hoover up the metadata
git --no-pager log -1 --date=short --decorate=short \
--pretty=format:"\usepackage[%
@ -28,4 +31,4 @@ git --no-pager log -1 --date=short --decorate=short \
refnames={%d},
firsttagdescribe={$FIRSTTAG},
reltag={$RELTAG}
]{gitexinfo}" HEAD > .git/gitHeadInfo.gin
]{gitexinfo}" HEAD > ${GITDIR}/.git/gitHeadInfo.gin

Loading…
Cancel
Save