diff --git a/docs/develop/ports/arm/beagleboneblk.md b/docs/develop/ports/arm/beagleboneblk.md
index 01be7ab852..6e1aa1f410 100644
--- a/docs/develop/ports/arm/beagleboneblk.md
+++ b/docs/develop/ports/arm/beagleboneblk.md
@@ -35,7 +35,8 @@ The BeagleBone Black supports booting from an microSD card while the boot switch
 
 # Compiling
 
-*  Build an ARM toolchain using `./configure --build-cross-tools-gcc4 arm ../buildtools`
+*  Create your work directory `mkdir generated.arm; cd generated.arm`
+*  Build an ARM toolchain using `../configure --build-cross-tools arm ../../buildtools`
 *  Build our loader using `jam -q -sHAIKU_BOOT_BOARD=beagleboneblk haiku_loader`
 *  TODO
 
diff --git a/docs/develop/ports/arm/raspberry_pi.md b/docs/develop/ports/arm/raspberry_pi.md
index c5fef5162d..4f555d5224 100644
--- a/docs/develop/ports/arm/raspberry_pi.md
+++ b/docs/develop/ports/arm/raspberry_pi.md
@@ -37,7 +37,8 @@ The Raspberry Pi SD card generally uses the MBR file system layout below. Partit
 
 # Compiling
 
-*  Build an ARM toolchain using `./configure --build-cross-tools-gcc4 arm ../buildtools`
+*  Create your work directory `mkdir generated.arm; cd generated.arm`
+*  Build an ARM toolchain using `../configure --build-cross-tools arm ../../buildtools`
 *  Build our loader using `jam -q -sHAIKU_BOOT_BOARD=raspberry_pi -sHAIKU_BOOT_PLATFORM=raspberrypi_arm haiku_loader`
 *  Build our file system using `jam -q -sHAIKU_BOOT_BOARD=raspberry_pi -sHAIKU_BOOT_PLATFORM=raspberrypi_arm haiku-floppyboot.tgz`