[gnome-shell] gnome-shell-build-setup.sh: add a note about removing install directory

[Owen Taylor <otaylor src gnome org>]

commit aa1a84e67765f0f1ee514c2335d9e6678ad2c6e1
Author: Owen W. Taylor <otaylor fishsoup net>
Date:   Fri Oct 5 13:35:58 2012 -0400

    gnome-shell-build-setup.sh: add a note about removing install directory
    
    If the user relocates from ~/gnome-shell to ~/gnome, they need to
    remove the install directory or left-over paths will cause problems.

 tools/build/gnome-shell-build-setup.sh |    6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/tools/build/gnome-shell-build-setup.sh b/tools/build/gnome-shell-build-setup.sh
index d546bb4..fd511aa 100755
--- a/tools/build/gnome-shell-build-setup.sh
+++ b/tools/build/gnome-shell-build-setup.sh
@@ -304,11 +304,13 @@ WARNING:
   The old source and install directory '$HOME/gnome-shell' exists, but
   '$HOME/gnome' doesn't. An empty $HOME/gnome will be created.
 
-  To avoid starting again from scratch you should remove the empty directory
-  and move your old '$HOME/gnome-shell' to '$HOME/gnome':
+  To avoid starting again from scratch you should remove the empty directory,
+  move your old '$HOME/gnome-shell' to '$HOME/gnome', and delete the old
+  install directory:
 
     rm -rf $HOME/gnome
     mv $HOME/gnome-shell $HOME/gnome
+    rm -rf $HOME/gnome/install
 EOF
 fi