texinfo translations reenabled



Hi Vadim,

> There is one problem with texi2html script. It explicitly
> requires #!/usr/local/bin/perl while on many systems it is
> /usr/bin/perl.  Make texi2html header configurable?

Well, modifying the texi2html script itself sounds painful.
How about if we just change the command line in the
Makefile.am's to "perl ./texi2html ..." or "perl ../texi2html ..." ?

best,
Robert