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.

(cherry picked from commit 52138701)
(cherry picked from commit 136e48c9)