The current build requires docbkx 2.0.10, with patches which each builder has to apply manually. docbkx 2.0.11 has now been released, and it fixes the issues we were patching. I tested it, and it builds our docbooks OK.
I'll post a release of the build tooling for this minor change soon, and update our "one-time-setups" to reflect this change. -Marshall
