X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ovsdb%2Fovsdb-doc.in;h=17eca52e76b07a3084d31c1c9d169f6c6bd9d737;hb=c0896bdd20b2b4ac7f1183835e2d8c99d6bb29fe;hp=90de4521adebec88feb4d37d3ec9c6cc3db9ed7f;hpb=991559357f6a03c3a5b70c053c8c2554aa8d5ee4;p=openvswitch diff --git a/ovsdb/ovsdb-doc.in b/ovsdb/ovsdb-doc.in index 90de4521..17eca52e 100755 --- a/ovsdb/ovsdb-doc.in +++ b/ovsdb/ovsdb-doc.in @@ -43,7 +43,7 @@ def inlineXmlToNroff(node, font): if node.nodeType == node.TEXT_NODE: return textToNroff(node.data, font) elif node.nodeType == node.ELEMENT_NODE: - if node.tagName == 'code' or node.tagName == 'em': + if node.tagName in ['code', 'em', 'option']: s = r'\fB' for child in node.childNodes: s += inlineXmlToNroff(child, r'\fB') @@ -52,6 +52,8 @@ def inlineXmlToNroff(node, font): s = r'\fB' if node.hasAttribute('column'): s += node.attributes['column'].nodeValue + if node.hasAttribute('key'): + s += ':' + node.attributes['key'].nodeValue elif node.hasAttribute('table'): s += node.attributes['table'].nodeValue elif node.hasAttribute('group'): @@ -76,17 +78,23 @@ def blockXmlToNroff(nodes, para='.PP'): s += textToNroff(node.data) s = s.lstrip() elif node.nodeType == node.ELEMENT_NODE: - if node.tagName == 'ul': + if node.tagName in ['ul', 'ol']: if s != "": s += "\n" s += ".RS\n" + i = 0 for liNode in node.childNodes: if (liNode.nodeType == node.ELEMENT_NODE and liNode.tagName == 'li'): - s += ".IP \\(bu\n" + blockXmlToNroff(liNode.childNodes, ".IP") + i += 1 + if node.tagName == 'ul': + s += ".IP \\(bu\n" + else: + s += ".IP %d. .25in\n" % i + s += blockXmlToNroff(liNode.childNodes, ".IP") elif (liNode.nodeType != node.TEXT_NODE or not liNode.data.isspace()): - raise error.Error("