Merge pull request #14320 from NixOS/jing/relaxng
manual: use a better relaxng validation tool #4966
Eelco Dolstra 10 years ago 16969218 18918507