Oops. The previous code changed \version "2.12.3" into
\version "2.12.0" if there was no change.
if global_options.diff_version_update:
if result == input:
# check the y in x.y.z (minor version number)
- if last[0:2] != from_version[0:2]:
+ previous_stable = (last[0], 2*(last[1]/2), 0)
+ if ((last[0:2] != from_version[0:2]) and
+ (previous_stable > from_version)):
# previous stable version
- last = (last[0], 2*(last[1]/2), 0)
+ last = previous_stable
else:
# make no (actual) change to the version number
last = from_version