From e00e074ee962c8863223143c2f4634e676cacfad Mon Sep 17 00:00:00 2001
From: Pierre Hyvernat <pierre.hyvernat@univ-smb.fr>
Date: Mon, 7 Jun 2021 19:17:59 +0200
Subject: [PATCH] oops, forgot to update Makefile with new names for scripts

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 131211d1..4ae6d8a5 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 LANGUAGES=$(wildcard i18n/*.po)
 LANGUAGES:=$(filter-out i18n/en.po, $(LANGUAGES))
-SH_FILES= start.sh lib/gameshell.sh lib/init.sh bin/*
+SH_FILES= start.sh lib/gsh.sh lib/profile.sh bin/*
 OTHER_FILES=
 
 SORT=--sort-output