This is the mail archive of the
gdb-patches@sourceware.cygnus.com
mailing list for the GDB project.
Re: patch for gdb.texinfo
- To: eliz at is dot elta dot co dot il
- Subject: Re: patch for gdb.texinfo
- From: Dmitry Sivachenko <dima at Chg dot RU>
- Date: Sun, 30 Jan 2000 21:20:33 +0300 (MSK)
- Cc: gdb-patches at sourceware dot cygnus dot com, kettenis at wins dot uva dot nl, shebs at shebs dot cnchost dot com
> I'd expect most users to invoke texi2dvi for this, and texi2dvi
> invokes makeinfo internally. So you probably meant to say ``include
> gdb.dvi'', not texinfo.tex. GDB 4.18 does include the DVI files, so
> printing the unchanged manual is indeed possible without Texinfo being
> involved. You do need makeinfo if you change the Texinfo sources and
> want to update the printed docs.
This sounds like 'I will not use C++ templates, because gcc 2.7 handles them
ugly and many users have that version installed'.
If there is texinfo in your source repository, you may include .dvi version
of unchanged manual into the distribution, and ask user to checkout
texinfo if they are willing to produce .dvi by themselves. It is not so
hard, I think.
BR,
--dima