diff options
author | Georg Brandl <georg@python.org> | 2010-12-09 19:18:19 +0100 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2010-12-09 19:18:19 +0100 |
commit | 0a9f5a058aa5f1ce627ca7d7d1c00ea9dfb48c9b (patch) | |
tree | 850245729012336496de4041846318af780e786a /sphinx/pycode/pgen2/driver.py | |
parent | 1cea10643d7545dde25c1c7d3fbe55b70c4edd3d (diff) | |
download | sphinx-git-0a9f5a058aa5f1ce627ca7d7d1c00ea9dfb48c9b.tar.gz |
major.minor version is enough for the grammar pickle.
Diffstat (limited to 'sphinx/pycode/pgen2/driver.py')
-rw-r--r-- | sphinx/pycode/pgen2/driver.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/pycode/pgen2/driver.py b/sphinx/pycode/pgen2/driver.py index 39e347b79..5e6cf9a5b 100644 --- a/sphinx/pycode/pgen2/driver.py +++ b/sphinx/pycode/pgen2/driver.py @@ -120,7 +120,7 @@ def load_grammar(gt="Grammar.txt", gp=None, head, tail = os.path.splitext(gt) if tail == ".txt": tail = "" - gp = head + tail + ".".join(map(str, sys.version_info)) + ".pickle" + gp = head + tail + ".".join(map(str, sys.version_info[:2])) + ".pickle" if force or not _newer(gp, gt): logger.info("Generating grammar tables from %s", gt) g = pgen.generate_grammar(gt) |