Should we install gcore.sh (and a gcore.1 man page)?

[Joel Brobecker]

> That sounds good.  Then we would not have to change much
> except for like Makefile.in and configure.in.  Script something
> like 'cat <host makefile fragment> | grep "gcore\.o"'

I think you can simplify this even further by only changing Makefile.in.
Instead of grep'ing the makefile fragment, which can only be done in
the configure script (and is also a little error prone), I think you
can just grep the value of ${DEPFILES} for gcore.o.

-- 
Joel