aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xscripts/dox_to_sphinx.py3
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 = ""