diff --git a/doc/README.html b/doc/README.html index 05ed480..648cd60 100644 --- a/doc/README.html +++ b/doc/README.html @@ -489,8 +489,10 @@ generation scripts are released under the GPL.