Lines Matching full:specname
848 specName = node[0] or 'Unknown'
849 print >>f, '<a href="#spec%d">%s</a><br>'%(i,specName)
851 specName = node[0] or 'Unknown'
854 print >>f, '<h3>Document: %s</h3>'%(specName or 'Unknown',)
857 docData = kDocuments.get(specName)
