# HG changeset patch
# User Tormod Volden <debian.tormod@gmail.com>
# Date 1373484900 -7200
# Node ID e029c0267184444074be24f9906ffca1ebd0cca6
# Parent  b3d423ebd1112775240603099384cd2e9260920d
Fix case-sensitive build of deluxe port

When including other makefiles, make sure the filename
really matches.

diff -r b3d423ebd111 -r e029c0267184 level1/deluxe/cmds/Makefile
--- a/level1/deluxe/cmds/Makefile	Wed Jul 10 21:31:59 2013 +0200
+++ b/level1/deluxe/cmds/Makefile	Wed Jul 10 21:35:00 2013 +0200
@@ -1,2 +1,2 @@
 PORT=deluxe
-include ../../coco1/cmds/Makefile
+include ../../coco1/cmds/makefile
diff -r b3d423ebd111 -r e029c0267184 level1/deluxe/defs/Makefile
--- a/level1/deluxe/defs/Makefile	Wed Jul 10 21:31:59 2013 +0200
+++ b/level1/deluxe/defs/Makefile	Wed Jul 10 21:35:00 2013 +0200
@@ -1,2 +1,2 @@
 PORT=deluxe
-include ../../coco1/defs/Makefile
+include ../../coco1/defs/makefile
diff -r b3d423ebd111 -r e029c0267184 level1/deluxe/modules/Makefile
--- a/level1/deluxe/modules/Makefile	Wed Jul 10 21:31:59 2013 +0200
+++ b/level1/deluxe/modules/Makefile	Wed Jul 10 21:35:00 2013 +0200
@@ -1,2 +1,2 @@
 PORT=deluxe
-include ../../coco1/modules/Makefile
+include ../../coco1/modules/makefile