outdated texinfo in grub-cvs

[Treutwein Bernhard]

the texinfo.tex in grub/docs appears to be outdated and 
produces an error when texi2pdf-ing grub.texi (it does
not understand the @uref in line 3498).

A more recent version, which works for me on two different
linux installations is attached, but maybe deleting it from
the cvs would be enough :-)

regards
--
        Bernhard Treutwein, IuK, Ref. III A 3
        Bernhard.Treutwein(at)verwaltung uni-muenchen de

texinfo.tex
Description: texinfo.tex