'Return a string with Texinfo command characters escaped.'

def escape(self, s):

    s = s.replace('@', '@@')
    s = s.replace('{', '@{')
    s = s.replace('}', '@}')
    s = s.replace('``', '`@w{`}')
    s = s.replace("''", "'@w{'}")
    return s
