summaryrefslogtreecommitdiffstats
path: root/doc/tools/make_rst.py
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2023-12-07 10:22:58 +0100
committerRémi Verschelde <rverschelde@gmail.com>2023-12-07 10:22:58 +0100
commitc52cf09f0d466c551f071fcbeeb284a5693b3dcf (patch)
treeab7ff6c8d673ce0b0ff1d91883c00787593f7ee5 /doc/tools/make_rst.py
parent3663f6f36b7438d56a6a7f262089de744343fb51 (diff)
parent9c83d3db5b02d0c554e9a0a958b6c52ea0d6dc05 (diff)
downloadredot-engine-c52cf09f0d466c551f071fcbeeb284a5693b3dcf.tar.gz
Merge pull request #85877 from timothyqiu/classref-heading
Fix missing heading in translated online class reference
Diffstat (limited to 'doc/tools/make_rst.py')
-rwxr-xr-xdoc/tools/make_rst.py9
1 files changed, 2 insertions, 7 deletions
diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py
index 89308b1ee1..c3a21f3d7b 100755
--- a/doc/tools/make_rst.py
+++ b/doc/tools/make_rst.py
@@ -1552,16 +1552,11 @@ def make_rst_index(grouped_classes: Dict[str, List[str]], dry_run: bool, output_
f.write(".. _doc_class_reference:\n\n")
- main_title = translate("All classes")
- f.write(f"{main_title}\n")
- f.write(f"{'=' * len(main_title)}\n\n")
+ f.write(make_heading("All classes", "="))
for group_name in CLASS_GROUPS:
if group_name in grouped_classes:
- group_title = translate(CLASS_GROUPS[group_name])
-
- f.write(f"{group_title}\n")
- f.write(f"{'=' * len(group_title)}\n\n")
+ f.write(make_heading(CLASS_GROUPS[group_name], "="))
f.write(".. toctree::\n")
f.write(" :maxdepth: 1\n")