diff options
Diffstat (limited to 'buildtools/pull-doc-from-wiki.py')
| -rw-r--r-- | buildtools/pull-doc-from-wiki.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/buildtools/pull-doc-from-wiki.py b/buildtools/pull-doc-from-wiki.py index 1154bc2d..946b01ae 100644 --- a/buildtools/pull-doc-from-wiki.py +++ b/buildtools/pull-doc-from-wiki.py @@ -219,6 +219,8 @@ xsl_get_page = lxml.etree.XSLT(lxml.etree.XML('''\ <xsl:template match="//div[contains(@class, 'wiki-toc')]"/> + <xsl:template match="//span[@class = 'icon' and not(*)]"/> + <xsl:template match="a[contains(@class, 'wiki') and starts-with(@href, '/wiki/')]"> <xsl:variable name="href"> |