Online documentation: Regeneration?

[Georg-Johann Lay]

Hi,

1.5 weeks ago, a patch was applied to master which changed parts of the 
user documentation, namely gas/doc/c-avr.texi cf.
https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=32f76c677333510350f21a40db062a8d17995c53

There should be a 4th node "Pseudo Instructions" now in

http://sourceware.org/binutils/docs/as/AVR_002dDependent.html

I'd expect that the online documentation is re-generated at least once 
per week, so that the web documentation should have caught up with the 
documentation's sources?

Is there a special trigger needed to start re-generation of online docs 
and flush the contents?

Thanks,

Johann