If not building against the source from the Git repository, the date can't be retrieved with Git; in that case we use the current date in the documentation.