ian martins writes: > I pushed two days ago, but the manual hasn't updated yet. I guess it > doesn't update on git hooks like worg. is there a scheduled process or is > there something that must be done?
The online manual corresponds to the latest release and updated with each release (as far as I know, though hopefully Bastien or others will correct me if I'm wrong).
