diff --git a/Doc/html/about.html b/Doc/html/about.html index 492e76d1a48..8d276c0cd7d 100644 --- a/Doc/html/about.html +++ b/Doc/html/about.html @@ -5,6 +5,7 @@ +
diff --git a/Doc/html/index.html.in b/Doc/html/index.html.in index b242c7f37f2..015536ec484 100644 --- a/Doc/html/index.html.in +++ b/Doc/html/index.html.in @@ -5,6 +5,7 @@ +