On Sat, 27 May 2017, FX wrote: > Does the website get rebuilt automatically, or does it need to be > triggered?
All automagically :-), and in the case of documents created from .texi (such as /onlinedocs or /install) this happens once a day, cf. gcc/maintainer-scripts/crontab line 2. Gerald
