diff --git a/doc/README.html b/doc/README.html index de7ea8549..9e9719dc4 100644 --- a/doc/README.html +++ b/doc/README.html @@ -279,9 +279,9 @@ bug fixes.