diff --git a/docs/html/platform.htm b/docs/html/platform.htm index a28960dfaa..56209ca347 100644 --- a/docs/html/platform.htm +++ b/docs/html/platform.htm @@ -75,6 +75,7 @@ often don't work.