diff --git a/index.html.in b/index.html.in index c64361152cd9..38ee9997efe9 100644 --- a/index.html.in +++ b/index.html.in @@ -205,6 +205,7 @@ When some command line options are used, it's replaced by other templates like