doc/gendoc.py
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()):