Lines Matching defs:extra
148 output.write(" <extra topic='%s'>%s</extra>\n" % (242 for extra in extras:243 EXTRA_DIST = EXTRA_DIST + extra + " "