diff options
author | Ulrich Müller <ulm@gentoo.org> | 2024-11-09 07:51:28 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2024-11-09 07:51:28 +0100 |
commit | 1ee8c33b1b6d01b83ca1d545fb1f73e88707b783 (patch) | |
tree | f20fb5723530cf880d94573019b0c3a655d63956 /tools-reference | |
parent | devbook.xsl: Fix dropdown menu in appendices/todo-list (diff) | |
download | devmanual-1ee8c33b1b6d01b83ca1d545fb1f73e88707b783.tar.gz devmanual-1ee8c33b1b6d01b83ca1d545fb1f73e88707b783.tar.bz2 devmanual-1ee8c33b1b6d01b83ca1d545fb1f73e88707b783.zip |
devbook.xsl: Test for include instead of contentsTree in dropdown menu
This is cleaner and coincides with what is done in the contentsTree
template itself.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'tools-reference')
0 files changed, 0 insertions, 0 deletions