Suggestion for portlint to check the PORTNAME against its directory

From: Paco Pascal <me_at_pacopascal.com>
Date: Sat, 22 Feb 2025 15:09:08 UTC
I am writing a port for gf2. The developer of gf2 is inconsistent with the name, switching between "gf" and "gf2". Because of this, I wasn't sure what to name the port and almost sent a patch with the wrong PORTNAME. It might be handy to have portlint spit out a warning to catch when the PORTNAME doesn't match its path. For example,

    $ cd devel/gf2
    $ portlint -a -A -m -N -c -C
    looks fine.
    $ grep PORTNAME Makefile
    PORTNAME=       foobar

// Paco