In message <E0va3wy-00041t-00@taurus.cus.cam.ac.uk> 
     Patrick Welche wrote:

> [...]
> 
> Thank you - I will look (though find / -name 'make*' -print should
> have found /usr/local/man/cat1/gmake.0)

Nope,

  find / -name '*make*' -print
  
should have found that man page. The file has a "g" as first letter.
"make*" doesn't match "gmake".

> 
> [...]
> 
> Thanks for the pointers,
> 
>  Patrick
> 
> (Any other ideas on broken symbols gratefully received!!)
> 

Try recompiling with a larger datasize. IIRC the default datasize is 16MB.
To increase it to e.g. 30MB do

   limit datasize 30m

Then recompile from the same shell.


Regards,
   Stefan
   
-- 
Stefan Voss
(voss@yoda.in-berlin.de)