Fix typos and add list to installation page

ethereum · Aug 1, 2023 · 2fff9ff · 2fff9ff
1 parent bbcc902
commit 2fff9ff
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/book/src/introduction/portal_network.md b/book/src/introduction/portal_network.md
@@ -10,7 +10,7 @@ The portal network is a response to two needs. Users should have the ability to:
 
 [EIP-4444: Bound Historical Data in Execution Clients](https://eips.ethereum.org/EIPS/eip-4444)
 is an upgrade that seeks to limit the costs of participating in the network. It does this
-by allowing by clearing data older than 1 year.
+by allowing the clearing of data older than 1 year.
 
 ## How the Portal network works
 
@@ -52,7 +52,7 @@ graph LR;
 ```
 
 ### Standard requests
-Node each have a name, and only hold data that is similar to that name. Peers can tell who
+Each node has a name, and only holds data that is similar to that name. Peers can tell who
 is likely to have what data based on these names.
 ```mermaid
 sequenceDiagram

diff --git a/book/src/users/installation.md b/book/src/users/installation.md
@@ -1,4 +1,9 @@
 # Installation
 
 The following are guides for installation on different platforms.
-Other methods may be used as appropriate.
+Other methods may be used as appropriate.
+
+* [Mac OS](./installation/mac_os.md)
+* [Linux](./installation/linux.md)
+* [Raspberry Pi](./installation/raspberry_pi.md)
+* [Windows](./installation/windows.md)