From ead896e8709daa0bb34bb03169547fc5d040d07d Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <jfiat@eiffel.com>
Date: Thu, 15 Nov 2012 16:32:11 +0100
Subject: [PATCH] Updated git tips related to subtree to avoid weird issue when
 "pulling" subtree which was putting files in wrong locations.

---
 doc/git-tips.txt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/git-tips.txt b/doc/git-tips.txt
index 066f6a2b..62938132 100644
--- a/doc/git-tips.txt
+++ b/doc/git-tips.txt
@@ -8,7 +8,10 @@ For instance
 
 
 Update
-:	git pull -s subtree ewf_wiki master
+:	git pull -X subtree=doc/wiki ewf_wiki master
+:	git pull -X subtree=contrib/ise_library/cURL ewf_curl master
+:	git pull -X subtree=contrib/library/text/parser/json ewf_json master
+:	git pull -X subtree=contrib/library/network/server/nino ewf_nino master
 
 Reconnect subtree from a cloned repository
 - doc/wiki