> >> 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.
You can always do some postprocessing, see gcc/ada/doc/Makefile line 66 for an existing kludge^Wpostprocessing. Arno