diff options
Diffstat (limited to 'sphinx/versioning.py')
| -rw-r--r-- | sphinx/versioning.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sphinx/versioning.py b/sphinx/versioning.py index 8d34802ef..22ecda60c 100644 --- a/sphinx/versioning.py +++ b/sphinx/versioning.py @@ -57,6 +57,9 @@ def merge_doctrees(old, new, condition): if old_node is None: new_nodes.append(new_node) continue + if not getattr(old_node, 'uid', None): + # maybe config.gettext_uuid has been changed. + old_node.uid = uuid4().hex if new_node is None: old_nodes.append(old_node) continue |