diff --git a/docs/plat/rpi4.rst b/docs/plat/rpi4.rst
index 0f529c1..e87aef7 100644
--- a/docs/plat/rpi4.rst
+++ b/docs/plat/rpi4.rst
@@ -22,7 +22,7 @@
 
 .. code:: shell
 
-    CROSS_COMPILE=aarch64-linux-gnu- make PLAT=rpi4 DEBUG=1
+    CROSS_COMPILE=aarch64-none-elf- make PLAT=rpi4 DEBUG=1
 
 Copy the generated build/rpi4/debug/bl31.bin to the SD card, either
 renaming it to ``armstub8.bin`` or adding an entry starting with ``armstub=``,