Merge pull request #4648 from lrineau/Documentation-fix_details_details-GF

Doc post-processing: fix Python script that inserted a `<a name="details">` incorrectly
This commit is contained in:
Sebastien Loriot 2020-04-16 16:26:13 +02:00 committed by GitHub
commit 615ce58f3e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -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=list(package_glob('./*/class*.html'))
class_and_struct_files.extend(package_glob('./*/struct*.html')) class_and_struct_files.extend(package_glob('./*/struct*.html'))
for fn in class_and_struct_files: for fn in class_and_struct_files:
re_replace_first_in_file(r'<p>Inherits\s*(.*)</p>', r'<a name="details" id="details"></a><h2 class="groupheader">Inherits from</h2><p>\1</p>', fn) re_replace_first_in_file(r'<p>Inherits\s*(.*)</p>', r'<h2 class="groupheader">Inherits from</h2><p>\1</p>', fn)
# remove class name in Definition section if there is no default template # remove class name in Definition section if there is no default template
# parameter documented # parameter documented