From 098725c2e2b943b5b84c4a3a0a9f49e900a51954 Mon Sep 17 00:00:00 2001
From: Quinn Painter <quinn@geekymonkey.com>
Date: Thu, 1 Sep 2022 10:23:15 +0100
Subject: [PATCH] Fix filename of armv4t-none-eabi.md

The filename differed from the link in SUMMARY.md, causing it to 404.
---
 .../platform-support/{armv4t_none_eabi.md => armv4t-none-eabi.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/doc/rustc/src/platform-support/{armv4t_none_eabi.md => armv4t-none-eabi.md} (100%)

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