diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2024-11-12 19:22:13 +0100 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2024-11-12 19:22:13 +0100 |
| commit | b4947d893b0f092df2c9d67a3dcaa01d2ca92003 (patch) | |
| tree | d51b4c3da0acf913ed4815692f725131aa908efd /devmanual | |
| 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 'devmanual')
| m--------- | devmanual | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/devmanual b/devmanual -Subproject a104fe1378cebfb50494565fb0d2cb589a68283 +Subproject 754d52d8106c20ca8034ee22dbb4865e7f91d77 |