makeinfo --version

[Karl Berry]

Hi Patrice.  I just discovered that gdb (and presumably gcc, binutils,
all the redhat packages) check the makeinfo --version output and require
it to be 4.7 or higher.

I want to run "makeinfo" out of our dev sources, via:
  perl -x -I $txi/tp $txi/tp/texi2any.pl "$@"
(where $txi is my CVS checkout).  Isn't that the right way to do it?

With that, the result of makeinfo --version is
texi2any (GNU texinfo) 0.01

Can you get that to use the 4.13.90 from configure.ac?  (Automatically,
hopefully.)

I know we discussed this before, sorry, but here it is again ...

Thanks,
Karl