Resolve "run xmllint on *.xml and *.docbook in precheck"

(cherry picked from commit bb1937aa)
7 jobs for 378-run-xmllint-on-xml-and-docbook-in-precheck-v9_12 in 7 minutes and 9 seconds (queued for 6 seconds)
Status Job ID Name Coverage
  Precheck
passed precheck:debian:sid:amd64 #23281
amd64 docker linux

00:00:12

 
  Build
passed build:debian:sid:amd64 #23282
amd64 docker linux

00:01:51

passed build:debian:sid:i386 #23283
i386 docker linux

00:01:54

 
  Test
passed systemtest:debian:sid:amd64 #23286
amd64 docker linux

00:04:50

passed systemtest:debian:sid:i386 #23287
i386 docker linux

00:05:01

passed unittest:debian:sid:amd64 #23284
amd64 docker linux

00:00:49

passed unittest:debian:sid:i386 #23285
i386 docker linux

00:00:47