Re: (gnu)sed in texinfo

[Karl Berry]

    Not executing run_recode() seems to work fine with the input
    file/for the failure I experienced.

Good.

    I still believe making sed configurable at build time 

That would have the significant downsides of not making texi2dvi not
being runnable without a configure step, and equally, not being
copyable/usable on different systems.  So I don't want to do that.

What I did do was:
(a) elminate all the recode stuff;
(b) change all the sed calls to use $SED; defaults to sed, just like
EGREP, etc.  Distributors can change that variable assignment if they
need some sed other than "sed".

New version at http://ftp.gnu.org/gnu/texinfo/texi2dvi (and in the
source repo), of course.

best,
karl