maketexdiff A script to make a diff between the current state of a tex document and a tag in the git repository