This is used to check that the doc/mpfr.texi UPDATED-MONTH value is
up-to-date by comparing it with the date of the latest commit.