mkhtml: support labels in page index

git-svn-id: https://svn.osgeo.org/grass/grass/trunk@59834 15284696-431f-4ddb-bdfa-cd5b030d7da7

tools/mkhtml.py

@@ -222,7 +222,11 @@ index_names = {
 # process footer
 index = re.search('(<!-- meta page index:)(.*)(-->)', src_data, re.IGNORECASE)
 if index:
-    index_name_cap = index_name = index.group(2).strip()
+    index_name = index.group(2).strip()
+    if '|' in index_name:
+        index_name, index_name_cap = index_name.split('|', 1)
+    else:
+        index_name_cap = index_name
 else:
     mod_class = pgm.split('.', 1)[0]
     index_name = index_names.get(mod_class, '')