On Sat, Nov 25, 2023 at 11:36:34 -0800, Alistair Crooks wrote: > I find it better to have > > MAN+= bar.7 > MAN+= foo.7 > > Since a grep for 'MAN.*foo' will produce meaningful results
Also good for diffs in the future, e.g. MAN += f.3 -MAN += g.3 MAN += h.3 vs. f.3 \ - g.3 \ h.3 \ Diff -p *might* do the helpful thing, but it gets confused sometimes. -uwe