diff --git a/src/doc/rustc/src/platform-support/armv4t_none_eabi.md b/src/doc/rustc/src/platform-support/armv4t-none-eabi.md
similarity index 100%
rename from src/doc/rustc/src/platform-support/armv4t_none_eabi.md
rename to src/doc/rustc/src/platform-support/armv4t-none-eabi.md