diff --git a/docs/index.html b/docs/index.html
index 532626ad..f9ff55f7 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -845,7 +845,7 @@ USE_OSGPLUGIN(<plugin2>)
and will need brew link
to be found.
You may be prompted to install a java runtime - this is not required. @@ -855,6 +855,16 @@ USE_OSGPLUGIN(<plugin2>)
+ For Xcode ≥ 8.3 install an alternate compiler to build `gcc`. + For example, if you use Macports run: +
sudo port install gcc5 +make cmake && \ +sudo port select gcc mp-gcc5 && \ +make gcc -j4 && \ +sudo port select gcc none && \ +make -j4 -k
For Xcode <7.3, run: