On 26/01/2022 12:12, Paul Menzel wrote: > Sure, I can change that, FWIW, the GNU Make documentation uses "Number signs" to refer to "#", and I think that may cause the least confusion across speakers of different dialects of English. Tim.