r'((\'\'\'((?!\'\'\')[\s\S])*\'\'\')|(\'{6,8})|("""((?!""")[\s\S])*""")|("{6,8}))[ \t]*\n

def t_DOCCOMMENT(t):
    r'((\'\'\'((?!\'\'\')[\s\S])*\'\'\')|(\'{6,8})|("""((?!""")[\s\S])*""")|("{6,8}))[ \t]*\n'
    lineNoInc(t)
    pos = t.value.rfind('"""')
    if pos == -1:
        pos = t.value.rfind('\'\'\'')
    t.value = '/**' + t.value[3:pos] + '**/'
    return t