From: Michael Orlitzky Date: Thu, 17 Nov 2016 18:23:39 +0000 (-0500) Subject: Rename the makefile to "GNUmakefile". X-Git-Tag: phd-dissertation-submitted~21 X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=2c7065edf41d17ede36fc608b7a3749bb217ce19;p=mjotex.git Rename the makefile to "GNUmakefile". Our makefile is using GNU-specific conditional expressions, so the proper name is "GNUmakefile". It will now be ignored by other Make implementations. --- diff --git a/makefile b/GNUmakefile similarity index 100% rename from makefile rename to GNUmakefile