make git version dynamic when building documentation