diff --git a/site/docs/install/spi.md b/site/docs/install/spi.md
index 957c57b..1164b59 100644
--- a/site/docs/install/spi.md
+++ b/site/docs/install/spi.md
@@ -72,14 +72,14 @@ could build it yourself or you could also clone `lbmk.git` and [install build
 dependencies](..//build/#first-install-build-dependencies), then inside lbmk,
 do:
 
-	./build serprog rp2040 pico
+	./build fw serprog rp2040 pico
 
 or for the W version:
 
-	./build serprog rp2040 pico_w
+	./build fw serprog rp2040 pico_w
 
 This will automatically build the rpi-pico firmware, and the file will be
-at `bin/serprog/rpi-pico-serprog.uf2`. This binary will be provided
+at `bin/serprog_rp2040/serprog_pico.uf2`. This binary will be provided
 pre-compiled in the next Libreboot release, after the 20230625 release.
 
 Disconnect the Pico and proceed to wire it to your
diff --git a/site/docs/install/spi.zh-cn.md b/site/docs/install/spi.zh-cn.md
index 829e0f1..dec62ad 100644
--- a/site/docs/install/spi.zh-cn.md
+++ b/site/docs/install/spi.zh-cn.md
@@ -55,14 +55,14 @@ could build it yourself or you could also clone `lbmk.git` and [install build
 dependencies](..//build/#first-install-build-dependencies), then inside lbmk,
 do:
 
-	./build serprog rp2040 pico
+	./build fw serprog rp2040 pico
 
 or for the W version:
 
-	./build serprog rp2040 pico_w
+	./build fw serprog rp2040 pico_w
 
 This will automatically build the rpi-pico firmware, and the file will be
-at `bin/serprog/rpi-pico-serprog.uf2`. This binary will be provided
+at `bin/serprog_rp2040/serprog_pico.uf2`. This binary will be provided
 pre-compiled in the next Libreboot release, after the 20230625 release.
 
 Disconnect the Pico and proceed to wire it to your