diff --git a/tool/create_iso b/tool/create_iso index c5c0458c08..69ba8756d1 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