diff options
author | Georg Brandl <georg@python.org> | 2014-10-06 22:01:32 +0200 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2014-10-06 22:01:32 +0200 |
commit | 8c25b837d1a478e04e30fd992a85044c97a4e7bd (patch) | |
tree | 072ea016cc7b1a244d76c444cb5445de8fc92d53 /sphinx/ext/coverage.py | |
parent | 65296334e0fa4fd26ab2fa8f5cb82dd0f679dbc7 (diff) | |
download | sphinx-git-8c25b837d1a478e04e30fd992a85044c97a4e7bd.tar.gz |
improve C coverage output
Diffstat (limited to 'sphinx/ext/coverage.py')
-rw-r--r-- | sphinx/ext/coverage.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sphinx/ext/coverage.py b/sphinx/ext/coverage.py index b62806fa4..399935cce 100644 --- a/sphinx/ext/coverage.py +++ b/sphinx/ext/coverage.py @@ -84,7 +84,7 @@ class CoverageBuilder(Builder): # Fetch all the info from the header files c_objects = self.env.domaindata['c']['objects'] for filename in self.c_sourcefiles: - undoc = [] + undoc = set() f = open(filename, 'r') try: for line in f: @@ -97,7 +97,7 @@ class CoverageBuilder(Builder): if exp.match(name): break else: - undoc.append((key, name)) + undoc.add((key, name)) continue finally: f.close() @@ -114,7 +114,7 @@ class CoverageBuilder(Builder): for filename, undoc in iteritems(self.c_undoc): write_header(op, filename) - for typ, name in undoc: + for typ, name in sorted(undoc): op.write(' * %-50s [%9s]\n' % (name, typ)) op.write('\n') finally: |