IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #4516 from tk0miya/fix_BuildInfo__ne__

Browse Source 
Fix BuildInfo comparison
This commit is contained in:
Takeshi KOMIYA 2018-01-29 22:49:01 +09:00 committed by GitHub
commit 36b8412a82
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
sphinx/builders/html.py
View File

@ -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'