On Wed, Dec 9, 2020 at 3:49 PM Paul Eggert <eggert@xxxxxxxxxxx> wrote: > On 12/9/20 7:46 AM, Bruno Haible wrote: > > It comes from Gnulib's git-version-gen and GNUmakefile. > > > > I'm not defending it. In fact, it annoys me. But I didn't spend the > > time to find another way to record the release version. > > Perhaps we should change git-version-gen and GNUmakefile to put this > version-number stuff into a file name that doesn't start with '.'. (I don't > know why there are two such files now.) I chose those names, because using "." files in that manner feels natural to me. If that offends someone enough to change the names, I won't object.
