Escape section in table.
(table)
| 140 | |
| 141 | |
| 142 | def escape_pre_section(table): |
| 143 | """Escape <pre> section in table.""" |
| 144 | def replace_newline(g): |
| 145 | return g.group(1).replace('\n', '\n.br\n') |
| 146 | |
| 147 | return re.sub('<pre.*?>(.*?)</pre>', replace_newline, table, flags=re.S) |
| 148 | |
| 149 | |
| 150 | def html2groff(data, name): |