From 7239f7bb68473fad2b03154393d1456b0eed478e Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Wed, 18 Nov 2015 06:54:59 +0100 Subject: [PATCH] www: Don't build unneeded files. --- scripts/asciidoc2html.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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)