Re: http://mail.gnu.org/mailman/listinfo/bug-gdb/ down
Simon Marchi <[email protected]>
| Newsgroups | gmane.comp.gdb.devel |
|---|---|
| Message-ID | <[email protected]> |
On 2020-05-26 7:07 a.m., Jonny Grant wrote: > Hi GDB maintainers > > Just wondering if this is down for you as well > > https://www.gnu.org/software/gdb/mailing-lists/ > > I clicked "bug-gdb" > > > This site can’t be reached mail.gnu.org refused to connect. > Try: > > Checking the connection > Checking the proxy and the firewall > ERR_CONNECTION_REFUSED Maybe it was temporary, the GNU mailing list page works for me right now. However, there has been no activity there for many years, I think we should either remove it from our page, or at least mention that it's there for archive purposes only. > I was going to ask if [email protected] could be added to the $ gdb --help output and also the man page? Yes, I think it would be nice. Would you mind providing patches for that? > Also this page > > https://sourceware.org/gdb/onlinedocs/gdb/ This is generated from the gdb.texinfo file in the GDB source code, so you could provide a patch for this as well: https://sourceware.org/git/?p=binutils-gdb.git;a=blob;f=gdb/doc/gdb.texinfo;h=641816284954a492d6079560b9e6ab8312efa159;hb=HEAD You can generate the HTML manual using the "make html" command in the gdb/doc build directory. > BTW, the footer has a link "Previous: (dir)" and "Up: (dir)" is a broken link to > https://sourceware.org/gdb/onlinedocs/dir/index.html > > Could someone fix that link, or should I file a bug report on sourceware? Hmm, we would have to find out if it's a texinfo bug, or just us using texinfo wrong. Again, you can generate this file using the "make html" command mentioned above and try to find out why. Simon