From 4910074b333e08b5746670b4f89a22ec15d36d8c Mon Sep 17 00:00:00 2001
From: "Viral B. Shah" <viral@mayin.org>
Date: Wed, 1 Apr 2015 11:44:05 +0530
Subject: [PATCH] Rename ARM.inc to Make.arm

---
 ARM.inc => Make.arm | 0
 README.arm.md       | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename ARM.inc => Make.arm (100%)

diff --git a/ARM.inc b/Make.arm
similarity index 100%
rename from ARM.inc
rename to Make.arm
diff --git a/README.arm.md b/README.arm.md
index 16403ec2d8ad1..015a4f95eb4d5 100644
--- a/README.arm.md
+++ b/README.arm.md
@@ -21,7 +21,7 @@ Next, create a file in the `julia` top-level directory called
 `Make.user` with the following contents:
 
 ```
-include $(JULIAHOME)/ARM.inc
+include $(JULIAHOME)/Make.arm
 ```
 
 Then proceed to build as described in the primary README. Just typing