Re: [PATCH 22/23] man/manlinks.sed: Drop unnecessary code.

[G. Branden Robinson]

At 2024-12-28T20:40:24-0500, Thomas Dickey wrote:
> On Thu, Dec 26, 2024 at 09:36:59PM -0600, G. Branden Robinson wrote:
> > It is no longer necessary to sift the "SYNOPSIS" section to find
> > additional topics for which we should generate links (or stub 'so'
> > pages) to the main page.
> > 
> > Tested by:
> > $ cat man/*.{1,1m,3x,5,7} | sed -f man/manlinks.sed > BEFORE
> > [apply this patch]
> > $ cat man/*.{1,1m,3x,5,7} | sed -f man/manlinks.sed > AFTER
> > $ cmp BEFORE AFTER && echo SAME
> > SAME
> 
> Actually no (but I'm too short of time tonight to repair this one)
> 
> It does make a difference:

Ah.  I'll improve my checking, and try to figure out a simple way
to test for this case, without building .debs, if I can (because I am
lazy and impatient).  The above was evidently _too_ simple.

Sorry for the error.

Regards,
Branden

signature.asc
Description: PGP signature