summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeorg Brandl <georg@python.org>2014-10-06 22:01:32 +0200
committerGeorg Brandl <georg@python.org>2014-10-06 22:01:32 +0200
commit281da3ddc495678392540479d5cc56745a85ed99 (patch)
tree072ea016cc7b1a244d76c444cb5445de8fc92d53
parent72d21037e99936a76d51aab4b6b7b88ba3144f20 (diff)
downloadsphinx-281da3ddc495678392540479d5cc56745a85ed99.tar.gz
improve C coverage output
-rw-r--r--sphinx/ext/coverage.py6
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: