From e4af2a1c8ff2d23af055145b70a1f7fe67f6a1f6 Mon Sep 17 00:00:00 2001
From: Takeshi KOMIYA <i.tkomiya@gmail.com>
Date: Mon, 29 Jan 2018 22:25:59 +0900
Subject: [PATCH] Fix BuildInfo comparison

---
 sphinx/builders/html.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/sphinx/builders/html.py b/sphinx/builders/html.py
index a06313e0f..7eae89267 100644
--- a/sphinx/builders/html.py
+++ b/sphinx/builders/html.py
@@ -189,6 +189,10 @@ class BuildInfo(object):
         return (self.config_hash == other.config_hash and
                 self.tags_hash == other.tags_hash)
 
+    def __ne__(self, other):  # type: ignore
+        # type: (BuildInfo) -> bool
+        return not (self == other)
+
     def dump(self, f):
         # type: (IO) -> None
         f.write('# Sphinx build info version 1\n'