make sure that every "make pdf" re-generates the git info in the