diff --git a/doc/install.html b/doc/install.html
index 435c6c08..967f25fd 100644
--- a/doc/install.html
+++ b/doc/install.html
@@ -452,8 +452,8 @@ much slower than the JIT compiler. Please complain to Apple, not me.
 Or use Android. :-p
 </p>
 <pre class="code">
-IXCODE=/Applications/Xcode.app/Contents
-ISDK=$IXCODE/Developer/Platforms/iPhoneOS.platform/Developer
+IXCODE=`xcode-select -print-path`
+ISDK=$IXCODE/Platforms/iPhoneOS.platform/Developer
 ISDKVER=iPhoneOS6.0.sdk
 ISDKP=$ISDK/usr/bin/
 ISDKF="-arch armv7 -isysroot $ISDK/SDKs/$ISDKVER"