changeset 52636 | 0e11e532c958 |
parent 52017 | 2a875530a023 |
child 52656 | 3e84e001b6c1 |
--- a/doc/gendoc.py Tue Jan 07 14:57:51 2025 -0500 +++ b/doc/gendoc.py Mon Jan 06 13:29:42 2025 -0500 @@ -151,14 +151,12 @@ b"extensions is available in the help system." ) ) - ui.write( - ( - b"\n\n" - b".. contents::\n" - b" :class: htmlonly\n" - b" :local:\n" - b" :depth: 1\n\n" - ) + ui.writenoi18n( + b"\n\n" + b".. contents::\n" + b" :class: htmlonly\n" + b" :local:\n" + b" :depth: 1\n\n" ) for extensionname in sorted(allextensionnames()):