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"