This is the mail archive of the gdb-patches@sourceware.cygnus.com mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: patch for gdb.texinfo



> It is standard GNU procedure to include the info files in the
> distribution.  So the user doesn't need makeinfo when building from an
> official release.

If the user doesn't change the Texinfo sources, this is true.

However, the Texinfo sources are provided for a reason: so that the
docs are also free (in the FSF definition of that word).  This means
that a user should be able to modify the Texinfo sources and produce
the modified docs at will.

> It is also standard procedure to include
> texinfo.tex in the distribution, thus for making a printed manual an
> up-to-date texinfo isn't necessary either.

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.

> Because I think that if using new feature improves the
> markup we should try to use them.

The markup is unchanged, and I'm not aware of any intention of the
Texinfo maintainer to change it any time soon.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]