diff --git a/man/build_manual_gallery.py b/man/build_manual_gallery.py index cc78157bb33..c31ee46f0a4 100755 --- a/man/build_manual_gallery.py +++ b/man/build_manual_gallery.py @@ -200,7 +200,7 @@ def main(ext): if ext == "html": output.write(header_graphical_index_tmpl) output.write('