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 invalid "(dir)" link that pointed to >> http://gcc.gnu.org/onlinedocs/dir/index.html >> which does not exist is gone. > 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.
You're right, good catch, Arnaud! How can we fix this at the root, then? I'm not sufficiently familiar with Sphinx and did not find where we might change that. Is there a newer version of Sphinx available to avoid this? Gerald
