> 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) [Contents][Index] > to > Next: About This Guide [Contents][Index] > and the invalid "(dir)" link that pointed to > http://gcc.gnu.org/onlinedocs/dir/index.html > which does not exist is gone. > > Pushed.
Well the master is the rest/sphinx files in doc, the texi file is auto generated, so your change will dispapear at the next generation. Arno