diff --git a/doc/install/installers_platform_selector.html b/doc/install/installers_platform_selector.html index 8d0d2e937b8..1a2c115bf6d 100644 --- a/doc/install/installers_platform_selector.html +++ b/doc/install/installers_platform_selector.html @@ -29,7 +29,7 @@