From 8c25b837d1a478e04e30fd992a85044c97a4e7bd Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Mon, 6 Oct 2014 22:01:32 +0200
Subject: [PATCH] improve C coverage output

---
 sphinx/ext/coverage.py | 6 +++---
 1 file 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: