diff options
| author | Georg Brandl <georg@python.org> | 2008-08-04 17:31:25 +0000 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2008-08-04 17:31:25 +0000 |
| commit | b4c78df0a2efd666994b45571a9cae415c8a63ee (patch) | |
| tree | 57b8de55180bd14be5d8002e5309db3a7d73625f /sphinx/builder.py | |
| parent | b4f71aa642916f5263e8b311f768cc4a2d77a14c (diff) | |
| download | sphinx-git-b4c78df0a2efd666994b45571a9cae415c8a63ee.tar.gz | |
Add intersphinx extension.
Diffstat (limited to 'sphinx/builder.py')
| -rw-r--r-- | sphinx/builder.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/builder.py b/sphinx/builder.py index e5650db1b..4e4f0bf9f 100644 --- a/sphinx/builder.py +++ b/sphinx/builder.py @@ -40,7 +40,7 @@ from sphinx import directives ENV_PICKLE_FILENAME = 'environment.pickle' LAST_BUILD_FILENAME = 'last_build' -INVENTORY_FILENAME = 'inventory.txt' +INVENTORY_FILENAME = 'objects.inv' class Builder(object): |