From: David_Hogg at pittway.com (David_Hogg at pittway.com)
Subject: RTEMS on P133 and RedHat 5.2
Hi,
Downloaded and installed texinfo 4, problems solved.
Checked user.cfg to ensure that the documents were not asked for and
they weren't, it still tried to do it though...
Thanks
Dave