Acknowledge that we're using GNU make's dialect and rename appropriate

Makefiles to GNUmakefiles so that non-GNU make(1) will error out. This should be a transparent change to the universe of people using GNU make.
9 years ago · 71d02d2a32
2 changed files with 0 additions and 0 deletions
--- a/0
+++ b/0
--- a/ui/GNUmakefile
+++ b/ui/GNUmakefile