On Wed, 19 Oct 2005 21:58:18 +0200
"Julio M. Merino Vidal" <jmmv84@gmail.com> wrote:

> Interesting... I see this too.  And you, Juan?  Maybe it failed for
> you when installing
> in gnome-base, and your "fixed" with this no-op change (because you
> probably retried installation from within gnome-themes)?  Do we have
> a problem in how INSTALL_MAKE_FLAGS works?

Yes, same here. I was building gnome-base and gnome-themes failed
to install, if I remember correctly ${INSTALL} was empty.