[xml/sgml-pkgs] Bug#834555: jing: conflicting ID-types for attribute "id"

[Vincent Lefevre]

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 <vincent at 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)