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 | 281da3ddc495678392540479d5cc56745a85ed99 (patch) | |
tree | 072ea016cc7b1a244d76c444cb5445de8fc92d53 | |
parent | 72d21037e99936a76d51aab4b6b7b88ba3144f20 (diff) | |
download | sphinx-281da3ddc495678392540479d5cc56745a85ed99.tar.gz |
improve C coverage output
-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 b62806fa..399935cc 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: |