diff --git a/Doc/.latex2html-init b/Doc/.latex2html-init index 090cdfdd942..a871bb75ec8 100644 --- a/Doc/.latex2html-init +++ b/Doc/.latex2html-init @@ -99,7 +99,7 @@ sub top_navigation_panel { # Now add a few buttons with a space between them "