diff options
| author | Georg Brandl <georg@python.org> | 2008-08-04 15:57:45 +0000 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2008-08-04 15:57:45 +0000 |
| commit | 23c5e8ee0a7c230b39498f11e931efd49657ce27 (patch) | |
| tree | b731dec02ca11081fdbb3bd49cb6b697a130412f /sphinx/builder.py | |
| parent | 5669e908033027287424ddec3acb20d2e30014c4 (diff) | |
| download | sphinx-git-23c5e8ee0a7c230b39498f11e931efd49657ce27.tar.gz | |
Little extension to the inventory protocol.
Diffstat (limited to 'sphinx/builder.py')
| -rw-r--r-- | sphinx/builder.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/sphinx/builder.py b/sphinx/builder.py index b7b814744..3a8558c27 100644 --- a/sphinx/builder.py +++ b/sphinx/builder.py @@ -11,7 +11,6 @@ import os import time -import gzip import codecs import shutil import cPickle as pickle @@ -41,7 +40,7 @@ from sphinx import directives ENV_PICKLE_FILENAME = 'environment.pickle' LAST_BUILD_FILENAME = 'last_build' -INVENTORY_FILENAME = 'inventory.txt.gz' +INVENTORY_FILENAME = 'inventory.txt' class Builder(object): @@ -709,8 +708,11 @@ class StandaloneHTMLBuilder(Builder): self.info('done') self.info(bold('dumping object inventory... '), nonl=True) - f = gzip.open(path.join(self.outdir, INVENTORY_FILENAME), 'w') + f = open(path.join(self.outdir, INVENTORY_FILENAME), 'w') try: + f.write('# Sphinx inventory version 1\n') + f.write('# Project: %s\n' % self.config.project.encode('utf-8')) + f.write('# Version: %s\n' % self.config.version) for modname, info in self.env.modules.iteritems(): f.write('%s mod %s\n' % (modname, self.get_target_uri(info[0]))) for refname, (docname, desctype) in self.env.descrefs.iteritems(): |