> >> With this patch the bottom navigation of the page at
> >> https://gcc.gnu.org/onlinedocs/gnat_ugn/index.html
> >> changes from
> >> Next: About This Guide, Up: (dir) [Contents][Index]
> >> to
> >> Next: About This Guide [Contents][Index]
> >> and the invalid "(dir)" link that pointed
On Sun, 11 Apr 2021, Arnaud Charlet wrote:
>> With this patch the bottom navigation of the page at
>> https://gcc.gnu.org/onlinedocs/gnat_ugn/index.html
>> changes from
>> Next: About This Guide, Up: (dir) [Contents][Index]
>> to
>> Next: About This Guide [Contents][Index]
>> and the
> This is something I have been noticing for a while, and a hint by
> Sandra in a somewhat similar context taught me how to avoid it.
>
> With this patch the bottom navigation of the page at
> https://gcc.gnu.org/onlinedocs/gnat_ugn/index.html
> changes from
> Next: About This Guide, Up:
This is something I have been noticing for a while, and a hint by
Sandra in a somewhat similar context taught me how to avoid it.
With this patch the bottom navigation of the page at
https://gcc.gnu.org/onlinedocs/gnat_ugn/index.html
changes from
Next: About This Guide, Up: (dir)
