Commit 3ab57bf4754777e44dbff652e36b2525731552cc

Nick Wellnhofer 2022-11-04T14:25:23

doc: Document xmlcatalog --convert Fixes #417.