From aeb76b9c3c32a6f72bd1155f05b6d759aef84c29 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 5 Oct 2016 14:16:44 +0200
Subject: [PATCH] create_iso: remove outdated help message

Fixes #2093
---
 tool/create_iso | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/tool/create_iso b/tool/create_iso
index c5c0458c0..69ba8756d 100755
--- a/tool/create_iso
+++ b/tool/create_iso
@@ -22,8 +22,7 @@ default help:
 	@echo "  $(ISODIR)"
 	@echo "and adapt"
 	@echo "  $(ISODIR)/boot/grub/menu.lst"
-	@echo "to your configuration's needs. A sample directory tree can be found in"
-	@echo "tool/boot/genode."
+	@echo "to your configuration's needs."
 
 #
 # Function to generate bootable ISO images