Re: "all" is no longer PHONY

[Tom Tromey]

>>>>> "Pavel" == Pavel Roskin <[EMAIL PROTECTED]> writes:

Pavel> However, "all-am" is still not PHONY.

Thanks.  I think I checked in the real fix now.

Tom