version_from_git() {
# Generates a version number from the git log for the current working
# directory, and writes it to stdout.
version_from_git() {
# Generates a version number from the git log for the current working
# directory, and writes it to stdout.