diff --git a/doc/root.html b/doc/root.html index c6afa74d09..655ac238db 100644 --- a/doc/root.html +++ b/doc/root.html @@ -28,7 +28,7 @@