From 004bacbe25a6b828178d889d4bb35afb75df0688 Mon Sep 17 00:00:00 2001
From: Marcus Bointon <marcus@synchromedia.co.uk>
Date: Thu, 13 Apr 2017 11:25:12 +0200
Subject: [PATCH] Update snippets when building a new doc

---
 pull_upstream_changes.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pull_upstream_changes.sh b/pull_upstream_changes.sh
index 0629431..5e373ec 100644
--- a/pull_upstream_changes.sh
+++ b/pull_upstream_changes.sh
@@ -13,7 +13,7 @@
 # File which has to exist in the target directory to qualify as target
 FINGERPRINT="dtd"
 # List of files and directories that need to be updated
-SOURCEFILES="dtd xslt"
+SOURCEFILES="dtd xslt source/snippets"
 # Root directory within source repo
 SOURCEROOT="xml"