1#!/usr/bin/env bash 2set -e 3 4# see also ".mailmap" for how email addresses and names are deduplicated 5OUT="${1:-.}" 6{ 7 cat <<-'EOH' 8 # File @generated by scripts/docs/generate-authors.sh. DO NOT EDIT. 9 # This file lists all contributors to the repository. 10 # See scripts/docs/generate-authors.sh to make modifications. 11 EOH 12 echo 13 git log --format='%aN <%aE>' | LC_ALL=C.UTF-8 sort -uf 14} > "$OUT/AUTHORS" 15cat "$OUT/AUTHORS"