Commit 8ad618d2d68037bc4cf8bcfbca15fe5735b41776

Nick Wellnhofer 2024-08-28T22:03:30

doc: Document all xmllint options Remove --pushsmall. Fixes #785.