diff --git a/docs/html/platform.htm b/docs/html/platform.htm index 0fa514f1d6..72442a67b5 100644 --- a/docs/html/platform.htm +++ b/docs/html/platform.htm @@ -93,7 +93,9 @@ often don't work.