suggestion regarding names of temp files

[DSB]

Minor suggestion: In 9.7 Temporary Files the manual says "These files must
not be disturbed while make is running" but it doesn't say what "these
files" look like. Assuming the names have some pattern, would it make sense
to be more specific and say something like "do not remove temp files
matching gnumake.*"?