This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: Patch to update gdbint.texinfo [01/04]
> 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.