doc: rename plat-dev.md and change its title

Signed-off-by: Bokdeuk Jeong <[email protected]>

doc/SUMMARY.md

@@ -4,9 +4,10 @@
 
 - [Getting Started](./getting-started/index.md)
   - [About CCA](./getting-started/cca.md)
+  - [How to Build and Run Islet](./getting-started/islet-how-to.md)
+    - [Network Configuration](./getting-started/network.md)
+    - [Command Shortcut](./getting-started/run-shortcut.md)
   - [Application Developer](./getting-started/app-dev.md)
-  - [Platform Developer](./getting-started/plat-dev.md)
-    - [Network Configuration](./network.md)
   - [Verification](./getting-started/verification.md)
     - [Model Checking](./islet-model-checking.md)
 - [Components](./components/index.md)

doc/getting-started/index.md

@@ -1,5 +1,5 @@
 # Contents
 - [1.1. About CCA](https://islet-project.github.io/islet/getting-started/cca.html)
-- [1.2. Application Developer](https://islet-project.github.io/islet/getting-started/app-dev.html)
-- [1.3. Platform Developer](https://islet-project.github.io/islet/getting-started/plat-dev.html)
+- [1.2. How to Build and Run Islet](https://islet-project.github.io/islet/getting-started/islet-how-to.html)
+- [1.3. Application Developer](https://islet-project.github.io/islet/getting-started/app-dev.html)
 - [1.4. Verification](https://islet-project.github.io/islet/getting-started/verification.html)

doc/getting-started/plat-dev.md → doc/getting-started/islet-how-to.md

@@ -1,6 +1,4 @@
-# Platform Developer
-Platform developers are who want to develop Confidential Computing Platform Components.
-Platform components include from Realm Management Monitor(RMM) to Realm.
+# How to build and run Islet
 
 `Islet` provides Rust-based RMM and scripts to compose Confidential Computing Platform.
 You can explore CCA platform with our scripts and
@@ -40,7 +38,7 @@ $ LD_LIBRARY_PATH=./ ./sdk-example-c
 
 ## Running a linux realm with a networking support and prebuilt examples
 See [examples](https://github.com/islet-project/islet/tree/main/examples).
-To get details about its network configuration, see [network.md](https://github.com/islet-project/islet/blob/main/doc/network.md)
+To get details about its network configuration, see [network.md](./network.md)
 
 ## Testing the realm features
 ```bash