INFO files but no INFOPREFIX

[Paolo Pisati]

Hi guys,

i'm trying to fix palm/prc-tools port.
It actually works (and doesn't leave files/dirs around anymore)
but when i check it with portlint, i get a lot of warning/fatal:

WARN: /usr/home/flag/src/prc-tools/pkg-plist [74]: enumerating info files in the plist is deprecated in favor of adding info files into the Makefile using the INFO macro.
WARN: /usr/home/flag/src/prc-tools/pkg-plist [75]: enumerating info files in the plist is deprecated in favor of adding info files into the Makefile using the INFO macro.
FATAL: /usr/home/flag/src/prc-tools/pkg-plist [76]: numbered info files are obsolete and not portable; add info files using the INFO macro in the Makefile.
[snip]

so the solution would be to put info files in INFO section 
of Makefile, but unfortunately prc-tools installs info files in
${PREFIX}/pilot/info

and there's no INFOPREFIX (like MANPREFIX) where i can
specify

INFOPREFIX= ${PREFIX}/pilot

and then

INFO= as \
      ...
[snip]

so i'm stuck right now, what can i do?

thanks (please cc: cause i'm offlist)
-- 
Paolo