This prevents gratuitous rebuilds of the manual every time the Git revision changes. Should help a bit with #17261.