diff options
author | 2024-11-12 19:22:13 +0100 | |
---|---|---|
committer | 2024-11-12 19:22:13 +0100 | |
commit | b4947d893b0f092df2c9d67a3dcaa01d2ca92003 (patch) | |
tree | d51b4c3da0acf913ed4815692f725131aa908efd /dtd | |
parent | devbook2.rnc: New file (diff) | |
download | nxml-gentoo-schemas-b4947d893b0f092df2c9d67a3dcaa01d2ca92003.tar.gz nxml-gentoo-schemas-b4947d893b0f092df2c9d67a3dcaa01d2ca92003.tar.bz2 nxml-gentoo-schemas-b4947d893b0f092df2c9d67a3dcaa01d2ca92003.zip |
devbook.rnc: Update from devmanualnxml-gentoo-schemas-20241112
This renames the document element from "guide" to "devbook", as well
as "contentsTree" to "contents". Drop transitional devbook2.rnc.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'dtd')
0 files changed, 0 insertions, 0 deletions