diff --git a/docs/Projects.html b/docs/Projects.html index 76a96f05703..afa33eee56a 100644 --- a/docs/Projects.html +++ b/docs/Projects.html @@ -100,7 +100,7 @@ then you need to edit autoconf/configure.ac as follows: