forwarded 915322 https://sourceware.org/bugzilla/show_bug.cgi?id=23965 thanks
On Sat, 2018-12-08 at 19:58 +0100, Hector Oron wrote: > Missatge de Kevin Locke <ke...@kevinlocke.name> del dia dg., 2 de des. > 2018 a les 20:24: > > The --args option does not appear in the gdb.1 manual page, although it > > is documented in gdb/doc/gdb.texinfo[1] from which gdb.1 is generated. > > It would be helpful if this option were included in the manual page. > > The manual page is generated from `gdb.pod` file which is generated > using the script in `etc/texi2pod.pl`. > In particular, the generated pod does not contain information about > --args feature, upstream has considered to place it in the info page > instead. > Therefore, I have no plans to contradict upstream decisions in this > case, however, could you please file this bug report in the GNU GDB > bugtracker instead and get it fixed upstream? Thanks Hector. I reported this issue upstream in Bug 23965. -- Cheers, | ke...@kevinlocke.name | XMPP: ke...@kevinlocke.name Kevin | https://kevinlocke.name | IRC: kevinoid on freenode