From 91945867cfee9e92df50149311d98eda41b16a60 Mon Sep 17 00:00:00 2001 From: David Robillard Date: Tue, 23 Mar 2021 12:42:43 -0400 Subject: WIP --- scripts/dox_to_sphinx.py | 3 +++ 1 file changed, 3 insertions(+) (limited to 'scripts/dox_to_sphinx.py') diff --git a/scripts/dox_to_sphinx.py b/scripts/dox_to_sphinx.py index c9d401c..f0dcd2c 100755 --- a/scripts/dox_to_sphinx.py +++ b/scripts/dox_to_sphinx.py @@ -322,6 +322,9 @@ def dox_to_rst(index, lang, node): if node.tag == "ulink": return "`%s <%s>`_" % (node.text, node.get("url")) + if node.tag == "verbatim": + return "::\n\n" + indent(plain_text(node), 1) + raise RuntimeError("Unknown documentation command: %s" % node.tag) -- cgit v1.2.1