diff --git a/doc/root.html b/doc/root.html index 3b92229cbea..9c7b9e2d57d 100644 --- a/doc/root.html +++ b/doc/root.html @@ -68,8 +68,8 @@ Linux, Mac OS X, Windows, and more.