diff --git a/Documentation/doc/scripts/html_output_post_processing.py b/Documentation/doc/scripts/html_output_post_processing.py index 1fd9d444db3..1e984b769bc 100755 --- a/Documentation/doc/scripts/html_output_post_processing.py +++ b/Documentation/doc/scripts/html_output_post_processing.py @@ -363,7 +363,7 @@ removes some unneeded files, and performs minor repair on some glitches.''') class_and_struct_files=list(package_glob('./*/class*.html')) class_and_struct_files.extend(package_glob('./*/struct*.html')) for fn in class_and_struct_files: - re_replace_first_in_file(r'

Inherits\s*(.*)

', r'

Inherits from

\1

', fn) + re_replace_first_in_file(r'

Inherits\s*(.*)

', r'

Inherits from

\1

', fn) # remove class name in Definition section if there is no default template # parameter documented