diff --git a/doc/scripts/wikiparser.py b/doc/scripts/wikiparser.py index 8b68e7230..3f71519d7 100644 --- a/doc/scripts/wikiparser.py +++ b/doc/scripts/wikiparser.py @@ -3,11 +3,11 @@ MoinMoin wiki parser """ +import logging +import re from enum import Enum from pathlib import Path from xml.sax.saxutils import escape -import logging -import re ICONS_DIR = 'icons' @@ -1216,6 +1216,12 @@ PlainText('dialog.')])])])] if line.strip().startswith('##'): continue + # Processing instructions, not rendered + if line.strip() and \ + line.strip().split()[0] in ('#format', '#redirect', '#refresh', + '#pragma', '#deprecated', '#language'): + continue + # Table of Contents match = re.match(r'<>', line) if match: