>>>>> "Perry" == Perry E Metzger <perry@piermont.com> writes:

    Perry> "Michael C. Richardson" writes:
    >> Going into /usr/src/gnu/usr.bin/gdb, I discover that they aren't built
    >> there at all.

    Perry> If they are to be built, they have to be built in gnu/usr.bin, not in
    Perry> gnu/dist.

  Yes, I agree. My later points were that the files are rather dependant
on the GNU makefiles, and on things outside that directory, so getting 
everything to build nicely make be more complicated than just invoking
"makeinfo" at the right place.
  I'd like to suggest that these things go into /usr/share/info.

   :!mcr!:            |  Network and security consulting/contract programming
   Michael Richardson |         Firewalls, TCP/IP and Unix administration
 Personal: http://www.sandelman.ottawa.on.ca/People/Michael_Richardson/Bio.html
 Corporate: http://www.sandelman.ottawa.on.ca/SSW/
	ON HUMILITY: To err is human, to moo bovine.