[tei-council] Dear Jenkins maintainers

I added a warning message to the transformtei script that tells you if you haven't set a local source, meaning it will download the last released one. This is usually fine, but at times, and particularly now, when our last release doesn't use Pure ODD, it can mean spurious bugs appear. Jenkins doesn't like warnings it hasn't been told about, so I added a rule: https://github.com/TEIC/TEI/commit/267926631ad4e5cdfc7c8da56cbb04e8f58ab2fd This change will need to be applied to Jenkins so that future builds are stable. Thanks, Hugh