1.1 --- a/modules.py Fri Dec 16 18:45:33 2016 +0100
1.2 +++ b/modules.py Sat Dec 17 00:10:54 2016 +0100
1.3 @@ -431,8 +431,8 @@
1.4 f.readline() # "special:"
1.5 line = f.readline().rstrip()
1.6 while line:
1.7 - name, ref = line.split(" ", 1)
1.8 - self.special[name] = decode_reference(ref)
1.9 + name, ref, paths = self._get_fields(line, 3)
1.10 + self.special[name] = decode_reference(ref), paths.split(", ")
1.11 line = f.readline().rstrip()
1.12
1.13 def _get_members(self, f):
1.14 @@ -698,7 +698,7 @@
1.15 "deferred:"
1.16 deferred references
1.17 "special:"
1.18 - zero or more: special name " " reference
1.19 + zero or more: special name " " reference " " qualified names
1.20 (empty line)
1.21 "members:"
1.22 zero or more: qualified name " " reference
1.23 @@ -810,7 +810,8 @@
1.24 names = self.special.keys()
1.25 names.sort()
1.26 for name in names:
1.27 - print >>f, name, self.special[name]
1.28 + ref, paths = self.special[name]
1.29 + print >>f, name, ref, ", ".join(paths)
1.30
1.31 print >>f
1.32 print >>f, "members:"