diff options
| author | David Robillard <d@drobilla.net> | 2021-03-23 12:42:43 -0400 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2021-03-23 12:42:43 -0400 |
| commit | 91945867cfee9e92df50149311d98eda41b16a60 (patch) | |
| tree | 5e7d89d9762f7272cc910b8a94fbcf74bf81332e /scripts | |
| parent | ea02e3d48e3ff4ce6bea8de559efbec64da9b161 (diff) | |
| download | sratom-91945867cfee9e92df50149311d98eda41b16a60.tar.gz sratom-91945867cfee9e92df50149311d98eda41b16a60.tar.bz2 sratom-91945867cfee9e92df50149311d98eda41b16a60.zip | |
WIP
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/dox_to_sphinx.py | 3 |
1 files changed, 3 insertions, 0 deletions
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) |