From d04a3547027c5afcc0825013900cac2cb0cc1eac Mon Sep 17 00:00:00 2001
From: Pieter Pas <pieter.p.dev@outlook.com>
Date: Sat, 30 Mar 2024 19:02:42 +0100
Subject: [PATCH] [Docs] update Pico.md Eigen installation

---
 doxygen/pages/Pico.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doxygen/pages/Pico.md b/doxygen/pages/Pico.md
index df28f61359..a534150581 100644
--- a/doxygen/pages/Pico.md
+++ b/doxygen/pages/Pico.md
@@ -11,7 +11,7 @@ installed using the included `install-eigen.sh` script. Eigen is installed into
 the `staging` directory.
 
 ```sh
-./scripts/install-eigen.sh "$PWD/staging RelWithDebInfo"
+./scripts/install-eigen.sh "$PWD/staging" "RelWithDebInfo"
 ```
 
 ## SDK and cross-compiler