Check whether the info manual is current in pre-push
Update the info manual