Extract Installation to the left menu (#796)

This PR extracts the section "Installation" from the "Getting started"
page. This is an important step for new users, and Installation was
hidden at the bottom of "Getting started". From now on, Installation is
more prominent and easier to find.

Author: kvch

docs/config.json

@@ -5,6 +5,11 @@
       "href": "/getting-started",
       "file": "docs/getting-started.md"
     },
+    {
+      "title": "Installation",
+      "href": "/installation",
+      "file": "docs/install-pgroll.md"
+    },
     {
       "title": "Tutorial",
       "href": "/tutorial",

docs/getting-started.md

@@ -56,32 +56,6 @@ In practice, the `searchPath` variable would be provided to the application as a
 
 If an application doesn't set the `search_path` for the connection, the `search_path` defaults to the `public` schema, meaning that the application will be working with the underlying tables directly rather than accessing them through the versioned views.
 
-## Installation
-
-### Binaries
-
-Binaries are available for Linux, macOS & Windows on our [Releases](https://github.com/xataio/pgroll/releases) page.
-
-### From source
-
-To install `pgroll` from source, run the following command:
-
-```sh
-go install github.com/xataio/pgroll@latest
-```
-
-Note: requires [Go 1.24](https://golang.org/doc/install) or later.
-
-### From package manager - Homebrew
-
-To install `pgroll` with homebrew, run the following command:
-
-```sh
-# macOS or Linux
-brew tap xataio/pgroll
-brew install pgroll
-```
-
 ## Supported Postgres versions
 
 `pgroll` supports Postgres versions >= 14.

docs/install-pgroll.md

@@ -0,0 +1,26 @@
+# Installation
+
+## Binaries
+
+Binaries are available for Linux, macOS & Windows on our [Releases](https://github.com/xataio/pgroll/releases) page.
+
+## From source
+
+To install `pgroll` from source, run the following command:
+
+```sh
+go install github.com/xataio/pgroll@latest
+```
+
+Note: requires [Go 1.24](https://golang.org/doc/install) or later.
+
+## From package manager - Homebrew
+
+To install `pgroll` with homebrew, run the following command:
+
+```sh
+# macOS or Linux
+brew tap xataio/pgroll
+brew install pgroll
+```
+