From b58d7c8883a124e7172d550f762d86f4a7336c65 Mon Sep 17 00:00:00 2001
From: hanada31 <799407151@qq.com>
Date: Fri, 28 Aug 2020 11:01:56 +0800
Subject: [PATCH] Update README.md

---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 3c4f5fc..406dc27 100644
--- a/README.md
+++ b/README.md
@@ -36,8 +36,9 @@ pages={457-468}}
   * For Windows: copy lib/libz/libz3.dll and lib/libz3/libz3java.dll to %JAVA_HOME%\bin\.
   * For Unix-like platforms: 
     * copy lib/libz3/libz3.so and lib/libz3/libz3java.so to [your\_library\_path]
-	 * add java.library.path into file "/etc/profile" (export LD\_LIBRARY\_PATH=$LD\_LIBRARY\_PATH:/[your\_library_path]).
-    * save the modification (source /etc/profile)
+	 * add java.library.path into the enviroment variable file [enviroment_path], e.g., ~/.bash_profile, /etc/profile.
+	   i.e., "export LD\_LIBRARY\_PATH=$LD\_LIBRARY\_PATH:[your\_library\_path]" to file [enviroment\_path].
+    * save the modification (source [enviroment\_path])
 * Prepare Android environment ( Android sdk installation information, https://developer.android.com/), the version of Android SDK Tools should lower than 25.2.3.
 
 * Run "java -version", "python", "ant -version", "android create project" to check whether these tools are successfully configured.