Subject: Re: texinfo files
To: None <>
From: Michael C. Richardson <>
List: current-users
Date: 09/22/1998 19:46:42
>>>>> "Perry" == Perry E Metzger <> 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
	ON HUMILITY: To err is human, to moo bovine.