From: Michael Orlitzky <michael@orlitzky.com>
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