reader: README.md for Android

Change-Id: I68107996791c0d3e01bd34847222d670ed4e257e
diff --git a/android/README.md b/android/README.md
index e69de29..afc8d3b 100644
--- a/android/README.md
+++ b/android/README.md
@@ -0,0 +1,38 @@
+# Reader Android client
+
+An example multi-device PDF reader app for Android platform, built using Vanadium.
+
+
+# Development
+
+## Dependencies
+
+The Java/Android development profile can be installed by running the following jiri command:
+
+    jiri v23-profile install java
+
+## Building
+
+Reader Android client can be built using Android Studio.
+In order to set up the environment variables correctly, the Android Studio should be run by the following command:
+
+    jiri run <path_to_android_studio>/bin/studio.sh
+
+When Android Studio runs for the first time,
+select "Import project" and point to the `reader/android` directory to load the project into Android Studio.
+Once the project is loaded, the project can be built and run within Android Studio.
+
+To build the project from the command line, you can run the following command from the `reader/android` directory:
+
+    ./gradlew :app:assembleDebug
+
+## Running the cloud Syncbase instance
+
+To make the synchronization work properly,
+there needs to be a cloud Syncbase instance running, which hosts the Syncgroup for the Reader app.
+
+To run the cloudsync instance, run the following command from the `reader/web` directory:
+
+    make cloudsync
+
+
diff --git a/web/README.md b/web/README.md
index 7b8b937..c6f6318 100644
--- a/web/README.md
+++ b/web/README.md
@@ -9,7 +9,7 @@
 If you have a `$JIRI_ROOT` setup you can install Node.js from
 `$JIRI_ROOT/third_party` by running:
 
-    jiri profile install nodejs
+    jiri v23-profile install nodejs
 
 Optionally, it is possible to use your own install of Node.js if you would like
 to use a more recent version.