mirror of
https://github.com/torvalds/linux.git
synced 2026-01-25 15:03:52 +08:00
There were a few bits and pieces left over from the now-disused DocBook toolchain; git rid of them. Reported-by: Markus Heiser <markus.heiser@darmarit.de> Signed-off-by: Jonathan Corbet <corbet@lwn.net>