Fix date in manual pages.

It now correctly shows the date the source page was modified, rather
than the whole repository.