On 2018-11-01 11:03:19 +0100, Samuel Thibault wrote: > Upstream answered on > https://github.com/relaxng/jing-trang/issues/211#issuecomment-434989297 > > “The conflicting ID type error [...] is a problem reported on the > schema and it is related to the DTD compatibility spec [1]. The DTD > compatibility ID checking is controlled by an option [2], so you can > disable that. This check does what the DTD compatibility spec says, so > it is not a problem in Jing, if the spec is updated then Jing can follow > the updated spec.
So, there should be an option to disable DTD compatibility, but... > [2] [2]http://www.thaiopensource.com/relaxng/jing.html > > -i > Disables checking of ID/IDREF/IDREFS. By default, Jing enforces the > constraints imposed by RELAX NG DTD Compatibility with respect to > ID/IDREF/ IDREFS. > ” this option is not OK, since I still want ID checking (xmllint --relaxng does that without failing on my example). -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
