Hi all, Ahead of our discussion of the build circularity today, I've set up a couple of extra builds on my Jenkins server to try out one of the ideas we've been kicking around. I now have these build jobs: Stylesheets-dev-with-P5-release: this builds the dev branch of the Stylesheets, but using the p5subset.xml from the current P5 release. Stylesheets-dev-with-P5-release: this does a comprehensive build of the P5-dev branch (tests followed by a full build of the output), but using the latest release version of the TEI stylesheets. The stylesheets used to be available on the TEI website, but that's no longer the case, so I've ended up installing the deb packages on my Jenkins instead. They're still building, so I don't know whether they'll be successful or not, but if either or both of them fail, at least we'll have some idea of the kind of issues we might face if we do take this approach to avoiding the circularity problem. Cheers, Martin