diff options
-rwxr-xr-x | Lib/pydoc.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Lib/pydoc.py b/Lib/pydoc.py index d2c0d10..350663b 100755 --- a/Lib/pydoc.py +++ b/Lib/pydoc.py @@ -392,8 +392,8 @@ class HTMLDoc(Doc): info = [] if hasattr(object, '__version__'): version = str(object.__version__) - if version[:11] == '$Revision$': - version = version[11:-1] + if version[:11] == '$' + 'Revision: ' and version[-1:] == '$': + version = strip(version[11:-1]) info.append('version: %s' % self.escape(version)) if hasattr(object, '__date__'): info.append(self.escape(str(object.__date__))) |