Hi Marcus, Excerpts from Marcus Moeller's message of 2012-01-29 08:35:57 +0000: > is there a way to receive a notification if the user doc page has been > extended/changed? I can’t think of anything better than a simple script which updates a local git clone of our repository and alerts you whenever docs/userguide has been changed.
Best regards, Michael
