[GRASS-dev] How to get "Last changed" string for a module's manual?

[Nikos Alexandris]

Dear devs,

how do we get a string like

"Last changed: $Date: 2014-12-01 17:21:35 +0200 (Mon, 01 Dec 2014) $"

for a module's manual?  Is this dynamically created or is it hardcoded?

Thanks, Nikos