From 5bf19788dfd0fda83134e3998fb1b2d6f6833903 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Wed, 13 Dec 2000 13:28:49 +0000 Subject: [PATCH] Renamed GNUmakefile to Makefile; there's nothing in this makefile that's specific to GNU make. --- docs/{GNUmakefile => Makefile} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docs/{GNUmakefile => Makefile} (100%) diff --git a/docs/GNUmakefile b/docs/Makefile similarity index 100% rename from docs/GNUmakefile rename to docs/Makefile