make index broken?

[Kevin A. Pieckiel]

On Tue, Dec 07, 2004 at 10:03:53AM -0500, Lowell Gilbert wrote:
> Hmm.  Maybe you're using the wrong "make" program?
> What does "which make" tell you?

/usr/bin/make

The 'make fetchindex' is what I ultimately used, but I'd
really like to know why this is broken.  It's broken on at
least three machines that I know of--every machine that's
running 5.3 for me.

Kevin