[SR-Dev] git:master: Updating docbook sources for the new processing system.