Re: 23.0.60; etc/DOC-${version}.buildnumber

[Stephen J. Turnbull]

Eli Zaretskii writes:

 > I meant that perhaps the build number should grow even after "make
 > clean".

Yes, it should, unless "make clean" reverts all the source changes
that might affect DOC.  That "cleaned" build might very well have been
installed to preserve it for later comparisons.  Then it is very
useful to have a convenient unique identifier for each build.