From 226eb7ace59724a93cc164ecbc0d1182d210c327 Mon Sep 17 00:00:00 2001 From: vanhofen Date: Thu, 25 Oct 2018 23:22:54 +0200 Subject: [PATCH] - rename devel-tools.mk => development-tools.mk --- Makefile | 2 +- make/{devel-tools.mk => development-tools.mk} | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) rename make/{devel-tools.mk => development-tools.mk} (98%) diff --git a/Makefile b/Makefile index 8f316da2..54d315a5 100755 --- a/Makefile +++ b/Makefile @@ -92,7 +92,7 @@ include make/system-libs.mk include make/system-libs-extra.mk include make/system-tools.mk include make/system-tools-extra.mk -include make/devel-tools.mk +include make/development-tools.mk include make/neutrino.mk include make/plugins.mk include make/plugins-extra.mk diff --git a/make/devel-tools.mk b/make/development-tools.mk similarity index 98% rename from make/devel-tools.mk rename to make/development-tools.mk index 541bbe41..90c15022 100644 --- a/make/devel-tools.mk +++ b/make/development-tools.mk @@ -1,4 +1,4 @@ -#Makefile to build devel-tools +#Makefile to build development-tools # -----------------------------------------------------------------------------