diff --git a/doc/root.html b/doc/root.html index 2029d4c6d2..cf42ba318d 100644 --- a/doc/root.html +++ b/doc/root.html @@ -39,7 +39,7 @@ simple, reliable, and efficient software.