Rename ARM.inc to Make.arm

jonathanvdc · Apr 1, 2015 · 4910074 · 4910074
1 parent 3d2d84e
commit 4910074
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/ARM.inc → Make.arm b/ARM.inc → Make.arm
diff --git 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