From 487afde3bb86c69d60e6c8f946866b4401c6dab1 Mon Sep 17 00:00:00 2001
From: mhilbrunner <m.hilbrunner@gmail.com>
Date: Tue, 7 Nov 2017 22:28:07 +0100
Subject: Ignore files not ending with '.xml' when building doc header

---
 editor/SCsub | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'editor/SCsub')

diff --git a/editor/SCsub b/editor/SCsub
index 2b6494608b..c531d2c7a6 100644
--- a/editor/SCsub
+++ b/editor/SCsub
@@ -39,6 +39,8 @@ def make_doc_header(target, source, env):
     docend = ""
     for s in source:
         src = s.srcnode().abspath
+        if not src.endswith(".xml"):
+            continue
         f = open_utf8(src, "r")
         content = f.read()
         buf+=content
-- 
cgit v1.2.3