From 71687834dba46b8a49eab18630dc6c335d53d219 Mon Sep 17 00:00:00 2001
From: Luke Shumaker <lukeshu@lukeshu.com>
Date: Sat, 13 May 2017 00:22:13 -0400
Subject: fix dependency tracking for man pages

---
 tools/xml_helper.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/xml_helper.py b/tools/xml_helper.py
index 862930e59c..db8d5ba2bb 100644
--- a/tools/xml_helper.py
+++ b/tools/xml_helper.py
@@ -50,6 +50,6 @@ def xml_parse(page):
     _deps.clear()
     doc = tree.parse(page, _parser)
     doc.xinclude()
-    return doc, _deps
+    return doc, _deps.copy()
 def xml_print(xml):
     return tree.tostring(xml, pretty_print=True, encoding='utf-8')
-- 
cgit v1.2.3-54-g00ecf