> Date: Sat, 11 Apr 2009 20:15:23 +0200 > From: Jan Kratochvil <jan.kratochvil@redhat.com> > Cc: gdb-patches@sourceware.org > > included an updated patch, only the doc part is updated. It's fine with me, thanks. > BTW do you know some way how to generate .tex (not .dvi or .pdf) from > .texinfo? There's no way, AFAIK. Why do you need that?