diff options
Diffstat (limited to 'sphinx/versioning.py')
| -rw-r--r-- | sphinx/versioning.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/versioning.py b/sphinx/versioning.py index a1716e835..d39c9538e 100644 --- a/sphinx/versioning.py +++ b/sphinx/versioning.py @@ -169,7 +169,7 @@ class UIDTransform(SphinxTransform): filename = path.join(env.doctreedir, env.docname + '.doctree') with open(filename, 'rb') as f: old_doctree = pickle.load(f) - except EnvironmentError: + except OSError: pass # add uids for versioning |