diff options
author | Ulrich Müller <ulm@gentoo.org> | 2020-01-16 19:44:20 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2020-01-16 19:44:20 +0100 |
commit | 81df8e36aeecf7234cd669ae593d1b5731cc01c5 (patch) | |
tree | 00ea8504f593fc36b0e5c1cd02e9f364e6892792 /tasks-reference | |
parent | devbook-guide: Remove obsolete text in "<uri>" subsection. (diff) | |
download | devmanual-81df8e36aeecf7234cd669ae593d1b5731cc01c5.tar.gz devmanual-81df8e36aeecf7234cd669ae593d1b5731cc01c5.tar.bz2 devmanual-81df8e36aeecf7234cd669ae593d1b5731cc01c5.zip |
devbook-guide: Drop redundant subsection levels.
Guide XML allowed body elements only at the lowest section level.
DevBook XML doesn't have that strict rule, therefore we can drop
the unnecessary intermediate levels.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'tasks-reference')
0 files changed, 0 insertions, 0 deletions