[go: up one dir, main page]

Menu

Commit [r9948]  Maximize  Restore  History

Downgrade "duplicate ID" message from "serious" to "error".

A duplicate ID is not a critical error where the output will
inevitably contain severe errors but rather "a major issue that should
adressed. If ignored, the output will contain unpredictable errors."
(cf. :PEP:`0258` Error Handling).

Re-use `nodes.document.set_id()` in the XML parser, but
only for registering an existing ID, do not generate IDs.

milde 2024-10-13

changed /trunk/docutils/HISTORY.rst
changed /trunk/docutils/docutils/nodes.py
changed /trunk/docutils/docutils/parsers/docutils_xml.py