diff --git a/docs/html/platform.htm b/docs/html/platform.htm index f314f3c155..3d97cfea0a 100644 --- a/docs/html/platform.htm +++ b/docs/html/platform.htm @@ -86,10 +86,12 @@ other flavours of BSD, ...