ports/134614: false positive in ports-mgmt/portlint

[Lapo Luchini]

>Number:         134614
>Category:       ports
>Synopsis:       false positive in ports-mgmt/portlint
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Sun May 17 14:50:01 UTC 2009
>Closed-Date:
>Last-Modified:
>Originator:     Lapo Luchini
>Release:        FreeBSD 6.4-STABLE amd64
>Organization:
>Environment:
System: FreeBSD motoko.lapo.it 6.4-STABLE FreeBSD 6.4-STABLE #9: Thu Jan 29 15:50:58 CET 2009 root at motoko.lapo.it:/usr/obj/usr/src/sys/MOTOKO amd64

>Description:

portlint seems to have some false positive on install-info which give a FATAL error.

>How-To-Repeat:

$ cd /usr/ports/devel/monotone
$ portlint
WARN: Makefile: [35]: possible direct use of command "rmdir" found. use ${RMDIR} instead.
WARN: Makefile: only one MASTER_SITE configured.  Consider adding additional mirrors.
FATAL: Makefile: install-info is automatically run when INFO is defined.
1 fatal error and 2 warnings found.

In fact "install-info" is only referred in that Makefile as part of a sed command.
>Fix:
>Release-Note:
>Audit-Trail:
>Unformatted: