Re: git: 281830982455 - main - security/rosenpass: install manual pages

On 2023-09-12 13:53, Alexey Dokuchaev wrote:
> On Tue, Sep 12, 2023 at 01:27:36PM +0200, Ashish SHUKLA wrote:
>> On 2023-09-11 19:11, Robert Clausecker wrote:
>> > Hi Ashish,
>> >
>> > Once again, this one already exists as net/rosenpass.
>> > Please remove the duplicate port.
>> 
>> Sorry, I'll remove it shortly :(
>> 
>> I checked my ports tree's INDEX-13 file, and bugzilla after updating 
>> the
> 
> INDEX files are quite useless these days (if they ever were), you'd far
> better off with grep -i ... /usr/ports/*/Makefile and /usr/ports/MOVED.
> The last one would help with restoring previously deleted ports, but as
> we started to trim old MOVED entries (big mistake) one should also 
> check
> freshports.org which diligently preserves ports history since its dawn.

Aah, I see. I was using INDEX file to avoid `make search ...` which is 
very slow on HDDs, but this is much better/optimal.

Thank you!
-- 
Ashish SHUKLA | GPG: F682 CDCC 39DC 0FEA E116  20B6 C746 CFA9 E74F A4B0