>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Thu, Sep 12, 2002 at 09:23:02AM +0200, Jean-Marc Lasgouttes John> wrote: >> It would be nice if it honored correctly the --with-extra-* things. >> I'd really like to unify the command line options from the >> different frontends. John> Can you tell me how ? By making sure you look into the dirs already mentionned in LDFLAGS and CPPFLAGS. With current cvs it does not (unless I did something stupid). JMarc
