From 8b6508296ed584e398fed4817ec8cb42b6a9bc65 Mon Sep 17 00:00:00 2001
From: thomas <kreitler@molgen.mpg.de>
Date: Tue, 17 Oct 2017 11:38:56 +0200
Subject: [PATCH] mxgrub: make notifications a bit clearer

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

diff --git a/mxgrub/mxgrub b/mxgrub/mxgrub
index fc33b0c..b847157 100755
--- a/mxgrub/mxgrub
+++ b/mxgrub/mxgrub
@@ -78,9 +78,9 @@ sub check_grub_menu_and_boot_dir {
   Note: GRUB menu and installed kernels differ.
 
     $missing_in_boot Kernel(s) from the menu are missing in '/boot'.
-    $missing_in_menu Kernel(s) aren't listed in the menu.
+    $missing_in_menu Kernel(s) installed aren't listed in the menu.
 
-  Consider a rewrite of grub.cfg (on $distmaster):
+  Consider a rewrite of grub.cfg (and mind $distmaster):
 
            $0 --update