diff --git a/doc/root.html b/doc/root.html index cf42ba318d..b2ce06ffb3 100644 --- a/doc/root.html +++ b/doc/root.html @@ -72,8 +72,6 @@ Linux, Mac OS X, Windows, and more.