documentation/python: this copypaste is like a cancer.

Spreads everywhere.

diff --git a/documentation/python.py b/documentation/python.py
index c7c74440000af55d36b000f14eb812a784bb0ae8..121e17186fbd6fd521551f8dff9c0517738ac278 100755 (executable)
--- a/documentation/python.py
+++ b/documentation/python.py
@@ -2128,9 +2128,9 @@ def render_page(state: State, path, input_filename, env):
 
     # Find itself in the global map, save the page title and summary back there
     # for index
-    module_entry = state.name_map['.'.join(path)]
-    module_entry.summary = page.summary
-    module_entry.name = breadcrumb[-1][0]
+    entry = state.name_map['.'.join(path)]
+    entry.summary = page.summary
+    entry.name = breadcrumb[-1][0]
 
     if not state.config['SEARCH_DISABLED']:
         result = Empty()