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'