diff --git a/AUTHORS b/AUTHORS index eb6e24c8b6..483743c992 100644 --- a/AUTHORS +++ b/AUTHORS @@ -1,5 +1,6 @@ -# This file lists all individuals having contributed content to the repository. -# For how it is generated, see `scripts/docs/generate-authors.sh`. +# File @generated by scripts/docs/generate-authors.sh. DO NOT EDIT. +# This file lists all contributors to the repository. +# See scripts/docs/generate-authors.sh to make modifications. Aanand Prasad Aaron L. Xu diff --git a/scripts/docs/generate-authors.sh b/scripts/docs/generate-authors.sh index b76ef325eb..338172232f 100755 --- a/scripts/docs/generate-authors.sh +++ b/scripts/docs/generate-authors.sh @@ -5,8 +5,9 @@ set -e OUT="${1:-.}" { cat <<-'EOH' - # This file lists all individuals having contributed content to the repository. - # For how it is generated, see `scripts/docs/generate-authors.sh`. + # File @generated by scripts/docs/generate-authors.sh. DO NOT EDIT. + # This file lists all contributors to the repository. + # See scripts/docs/generate-authors.sh to make modifications. EOH echo git log --format='%aN <%aE>' | LC_ALL=C.UTF-8 sort -uf