Rong-En Fan wrote: > FYI, the default CONFIGURE_ARGS for GNU_CONFIGURE is now > having --mandir and --infodir if configure script supports them > (determined by configure --help). I have eliminated most > of them in ports' makefile. I plan to do a sweep to remove > them all.
Do you also plan to teach `portlint' to check for new instances of
these command line options?
--
Best regards / Viele Grüße, [EMAIL PROTECTED]
Simon Barner [EMAIL PROTECTED]
pgpTHnbSXYdIW.pgp
Description: PGP signature
