diff options
Diffstat (limited to 'scripts/build/binary_grub')
| -rwxr-xr-x | scripts/build/binary_grub | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/scripts/build/binary_grub b/scripts/build/binary_grub index 2c441cedc..f9505d597 100755 --- a/scripts/build/binary_grub +++ b/scripts/build/binary_grub @@ -1,11 +1,12 @@ #!/bin/sh -# lh_binary_grub(1) - installs grub into binary -# Copyright (C) 2006-2010 Daniel Baumann <daniel@debian.org> -# -# live-helper comes with ABSOLUTELY NO WARRANTY; for details see COPYING. -# This is free software, and you are welcome to redistribute it -# under certain conditions; see COPYING for details. +## live-build(7) - System Build Scripts +## Copyright (C) 2006-2010 Daniel Baumann <daniel@debian.org> +## +## live-build comes with ABSOLUTELY NO WARRANTY; for details see COPYING. +## This is free software, and you are welcome to redistribute it +## under certain conditions; see COPYING for details. + set -e |