While looking at the documentation for this command, I realized that it was not accessible from the index. So I added an @kindex entry for it. 2009-04-01 Joel Brobecker * gdb.texinfo (Print Settings): Add kindex for command "set print frame-arguments". After rebuilding the HTML documentation, I'm now able to see an entry for this command. OK to commit? Thanks, -- Joel