Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
- The 'missing' script no longer tries to update the timestamp of
out-of-date files that require a maintainer-specific tool to be
remade, in case the user lacks such a tool (or has a too-old version
- of it). It just give a useful warning, and in some cases also a tip
- about how to obtain such a tool.
+ of it). It just gives a useful warning, and in some cases also a
+ tip about how to obtain such a tool.
- The missing script has thus become useless as a (poor) way to work
around the sketched-timestamps issues that can happen for projects