Re: http://mail.gnu.org/mailman/listinfo/bug-gdb/ down

> From: Jonny Grant <[email protected]>
> Date: Wed, 27 May 2020 23:12:32 +0100
> 
> >> 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.
> 
> Yes, it is the same in the html created.
> I've attached a patch that removes those broken links.

Thanks, these changes are fine with me in principle, but the
indentations seems to be wrong here:

>    if (REPORT_BUGS_TO[0] && stream == gdb_stdout)
>      fprintf_unfiltered (stream, _("\
>  Report bugs to \"%s\".\n\
> +"), REPORT_BUGS_TO);
> +    fprintf_unfiltered (stream, _("\
> +GDB mailing list \"mailto:[email protected]\"\n\
>  "), REPORT_BUGS_TO);

Is the added fprintf conditioned by this 'if':

  if (REPORT_BUGS_TO[0] && stream == gdb_stdout)

If it is, then braces are missing around the two fprintf's; if it
isn't, then the second fprintf should not be indented as the first
one.