diff --git a/docs/install.html b/docs/install.html index 06c7f28ae13..f4b3edd5713 100644 --- a/docs/install.html +++ b/docs/install.html @@ -35,9 +35,7 @@
-Build system. -
+The following compilers are known to work, if you know of others or you're willing to maintain support for other compiler get in touch. @@ -63,9 +62,8 @@ willing to maintain support for other compiler get in touch. +
-Third party/extra tools.
-
Note: These should not be required, when building from a release tarball. If
you think you've spotted a bug let developers know by filing a
bug report.