'Return an escaped string suitable for use as an argument
to a Texinfo command.'

def escape_arg(self, s):

    s = self.escape(s)
    s = s.replace(',', '@comma{}')
    s = '    '.join(s.split()).strip()
    return s
