diff --git a/scripts/asciidoc2html.py b/scripts/asciidoc2html.py index 488f2685d..b22dfd8f8 100755 --- a/scripts/asciidoc2html.py +++ b/scripts/asciidoc2html.py @@ -162,7 +162,9 @@ class AsciiDoc: for root, _dirs, files in os.walk(os.getcwd()): for filename in files: - if os.path.splitext(filename)[1] != '.asciidoc': + basename, ext = os.path.splitext(filename) + if (ext != '.asciidoc' or + basename in ('header', 'OpenSans-License')): continue self._build_website_file(root, filename)