From 2156925b9b7dc9758d3d490f107025615a24b85f Mon Sep 17 00:00:00 2001
From: Mike Pall <mike>
Date: Wed, 7 Nov 2012 23:00:05 +0100
Subject: [PATCH] Improve iOS install docs.

---
 doc/install.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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"