Extract man page name from web page.
(self, data)
| 309 | return results |
| 310 | |
| 311 | def _extract_name(self, data): |
| 312 | """Extract man page name from web page.""" |
| 313 | name = re.search('<[hH]1[^>]*>(.+?)</[hH]1>', data, re.DOTALL).group(1) |
| 314 | name = re.sub(r'<([^>]+)>', r'', name) |
| 315 | name = re.sub(r'>', r'>', name) |
| 316 | name = re.sub(r'<', r'<', name) |
| 317 | return html.unescape(name) |
| 318 | |
| 319 | def _parse_expression(self, expr): |
| 320 | """ |