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

[Thomas Dickey]

On Sat, Dec 28, 2024 at 07:48:18PM -0600, G. Branden Robinson wrote:
> 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.

Actually the deb scripts are in the subdirectory "package",
and technically all you have to do is move it up a level.

I also have a script which compares packages against
what's installed (what I generated that list from).
 
> Sorry for the error.

:-)

-- 
Thomas E. Dickey <dickey@invisible-island.net>
https://invisible-island.net

signature.asc
Description: PGP signature