There were a few bits and pieces left over from the now-disused DocBook
toolchain; git rid of them.
Reported-by: NMarkus Heiser <markus.heiser@darmarit.de>
Signed-off-by: NJonathan Corbet <corbet@lwn.net>