diff --git a/docs/html/platform.htm b/docs/html/platform.htm index 2b488ec6bc..d1dc3d635e 100644 --- a/docs/html/platform.htm +++ b/docs/html/platform.htm @@ -81,7 +81,7 @@ other flavours of BSD, ...