diff options
| -rw-r--r-- | doc/_ext/px_xlator.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/_ext/px_xlator.py b/doc/_ext/px_xlator.py index 98929e9c..6ad1063e 100644 --- a/doc/_ext/px_xlator.py +++ b/doc/_ext/px_xlator.py @@ -78,6 +78,7 @@ class PxTranslator(BaseHtmlXlator): def visit_desc_parameterlist(self, node):
self.body.append('(')
self.first_param = 1
+ self.param_separator = node.child_text_separator
def depart_desc_parameterlist(self, node):
self.body.append(')')
|