Re: Patch to update gdbint.texinfo [01/04]

[Eli Zaretskii <eliz@gnu.org>]

> From: Jeremy Bennett <jeremy.bennett@embecosm.com>
> Cc: gdb-patches@sourceware.org
> Date: Sat, 21 Mar 2009 12:14:31 +0000
> 
> Thanks for all this. PDF and HTML output work fine.

Thanks for testing.

> I've attached the EPS format (compressed with bzip2) for use with
> PostScript/DVI.

Thanks, I committed it.

> The problem seems to be that texi2dvi is generating PDF. This seems to
> be GDB specific. It applies to each of the GDB manuals (gdb.texinfo,
> gdbint.texinfo etc), but not to texinfo manuals in other projects.
> 
> It could be connected with the move to replace etex by a link to pdftex
> in recent Linuxes (I'm using FC9), which may require some modification
> to GDB's custom texinfo.tex.

Does it work if you replace GDB's texinfo.tex with the one that comes
with the Texinfo manual?  Does it perhaps help to invoke texi2dvi with
the --dvi switch?

> I'll investigate further and raise a bug as appropriate.

Thanks, please do.