On 7/23/07, Simon Barner <[EMAIL PROTECTED]> wrote:
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
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 t
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.
Regards,
Rong-En Fan
- Forwarded message from
