Source-Changes-D archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: CVS commit: src/share/man/man7



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


Home | Main Index | Thread Index | Old Index