From 477455a65c0920672291947366d89e882240f55b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 29 Apr 2024 17:12:48 +0200
Subject: [PATCH] minor edit

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index c83febd..2ad4db2 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 # Makefile as documentation on how to build the TLA2B.jar file
-# This file should then appear in ProB's lib folder
-# This file is for documentation, for user's not familiar with gradle
+# This file should then be put into ProB's lib folder
+# This file is for documentation, for users not familiar with gradle
 build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java src/main/java/de/tla2bAst/*.java build.gradle
 	@echo "Building TLA2B.jar"
 	gradle shadowJar
-- 
GitLab