diff options
author | Georg Brandl <georg@python.org> | 2009-10-26 14:07:13 +0100 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2009-10-26 14:07:13 +0100 |
commit | f98a703ef3572ef7b4260405d0716fb60f6e01b0 (patch) | |
tree | a1ca8c4ddd1ac8aa387e4d4ee0a6093e8da3842b /sphinx/ext/coverage.py | |
parent | 3594104d4e114dc273a2d6115623ad108f19be68 (diff) | |
download | sphinx-git-f98a703ef3572ef7b4260405d0716fb60f6e01b0.tar.gz |
Make "make check" happy.
Diffstat (limited to 'sphinx/ext/coverage.py')
-rw-r--r-- | sphinx/ext/coverage.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/ext/coverage.py b/sphinx/ext/coverage.py index ed5d92a4f..38dabf9f3 100644 --- a/sphinx/ext/coverage.py +++ b/sphinx/ext/coverage.py @@ -119,7 +119,7 @@ class CoverageBuilder(Builder): def build_py_coverage(self): objects = self.env.domaindata['py']['objects'] modules = self.env.domaindata['py']['modules'] - + for mod_name in modules: ignore = False for exp in self.mod_ignorexps: |