From 97858a3c94e8c97522799dd06060f2c08a8b267e Mon Sep 17 00:00:00 2001
From: Enrico Ros <enrico.ros@gmail.com>
Date: Mon, 6 May 2024 22:26:40 -0700
Subject: [PATCH] docs/installation: mention optionality

---
 docs/installation.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/installation.md b/docs/installation.md
index 536b9c1bc..5d28a068d 100644
--- a/docs/installation.md
+++ b/docs/installation.md
@@ -47,10 +47,10 @@ the same steps 1 and 2 as for [local development](#local-development).
    # .. repeat the steps above up to `npm install`, then:
    npm run build
    ```
-4. Start the production server:
+4. Start the production server (`npx` may be optional):
    ```bash
-    npx next start --port 3000
-    ```
+   npx next start --port 3000
+   ```
    Your big-AGI production instance is on `http://localhost:3000`.
 
 ### Advanced Customization