From ef2f69ff78bbf3cda12051f1905719170bfa31a7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?c=C3=A6l=C5=8Drum=20spect=C4=81tr=C4=ABx?= Date: Mon, 1 Dec 2025 20:02:58 +0100 Subject: [PATCH] Rename makefiles --- 1/GNUmakefile | 2 +- 1/makefile | 2 +- makefile.common => common.mk | 0 GNUmakefile.common => gnu.mk | 0 4 files changed, 2 insertions(+), 2 deletions(-) rename makefile.common => common.mk (100%) rename GNUmakefile.common => gnu.mk (100%) diff --git a/1/GNUmakefile b/1/GNUmakefile index 211f586..eed98a1 100644 --- a/1/GNUmakefile +++ b/1/GNUmakefile @@ -1,2 +1,2 @@ # -*- makefile-gmake -*- -include ../GNUmakefile.common +include ../gnu.mk diff --git a/1/makefile b/1/makefile index 1191f1d..058141b 100644 --- a/1/makefile +++ b/1/makefile @@ -1,2 +1,2 @@ # -*- makefile-bsdmake -*- -.include "../makefile.common" +.include "../common.mk" diff --git a/makefile.common b/common.mk similarity index 100% rename from makefile.common rename to common.mk diff --git a/GNUmakefile.common b/gnu.mk similarity index 100% rename from GNUmakefile.common rename to gnu.mk