diff options
| -rwxr-xr-x | scripts/dox_to_sphinx.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/dox_to_sphinx.py b/scripts/dox_to_sphinx.py index b88a484f..5ecbaa5c 100755 --- a/scripts/dox_to_sphinx.py +++ b/scripts/dox_to_sphinx.py @@ -264,8 +264,7 @@ def dox_to_rst(index, lang, node): return "’" if node.tag == "computeroutput": - assert len(node) == 0 - return "``%s``" % node.text + return "``%s``" % plain_text(node) if node.tag == "itemizedlist": markup = "" |