On Tue, 20 Jun 2017 17:18:31 +0200, Eli Zaretskii wrote:
> The file-name extensions are better put in @file.

Done.


> More importantly, this text is now confusing: what do you mean by
> "with @samp{.debug_names} and @samp{.str}"?  Do we produce one file or
> two?

Two.


> Once I understand this, I could suggest an alternative wording to
> clarify the issue.

Primarily this whole manual section is pointless.  IMO it was already
inappropriate during its initial check-in as the "save gdb-index" is never
going to be executed by GDB user.  GDB users use /usr/bin/gdb-add-index .
But that is now shipped only as gdb/contrib/gdb-add-index.sh .
	FYI: revert gdb-add-index
	https://sourceware.org/ml/gdb-patches/2010-08/msg00127.html
	Message-ID: <m3pqxqco3v.fsf@fleche.redhat.com>

Fedora ships it on its own, also with a man page:
	https://src.fedoraproject.org/cgit/rpms/gdb.git/tree/gdb-gdb-add-index-script.patch


> The command should be in @kbd, not @code, as it's something the user
> types on the keyboard.

Done.


> DWARF-5 should not be in @code.  Maybe in @acronym, or even no markup
> at all.

Done.


> >    c = add_cmd ("gdb-index", class_files, save_gdb_index_command,
> >  	       _("\
> >  Save a gdb-index file.\n\
> > -Usage: save gdb-index DIRECTORY"),
> > +Usage: save gdb-index [-dwarf-4] DIRECTORY"),
> >  	       &save_cmdlist);
> 
> I think we should have a short explanation how the -dwarf-4 option
> changes the behavior.