displayed page modification date incorrect

[lsf37]

displayed page modification date incorrect

[kent-mcleod]

The timestamp is extracted from the git history: https://github.com/seL4/docs/blob/master/Makefile#L33

Looks like the github action for checking out is only doing depth 1 which results in all pages being last modified in the same commit:

    # Number of commits to fetch. 0 indicates all history for all branches and tags.
    # Default: 1
    fetch-depth: ''

[lsf37]

Thanks for tracking that down, I'll change it to full depth.