* util/grub.d/00_header.in: Fix a comment.
* util/grub.d/10_linux.in: Likewise.
* util/grub.d/10_windows.in: Likewise.
* util/grub.d/10_hurd.in: Likewise.
+2009-08-08 Felix Zielcke <fzielcke@z-51.de>
+
+ * util/grub.d/00_header.in: Fix a comment.
+ * util/grub.d/10_linux.in: Likewise.
+ * util/grub.d/10_windows.in: Likewise.
+ * util/grub.d/10_hurd.in: Likewise.
+
2009-08-08 Felix Zielcke <fzielcke@z-51.de>
* util/grub-mkconfig.in: Allow the user to specify the used font
#! /bin/sh -e
-# update-grub helper script.
+# grub-mkconfig helper script.
# Copyright (C) 2006,2007,2008,2009 Free Software Foundation, Inc.
#
# GRUB is free software: you can redistribute it and/or modify
#! /bin/sh -e
-# update-grub helper script.
+# grub-mkconfig helper script.
# Copyright (C) 2006,2007,2008 Free Software Foundation, Inc.
#
# GRUB is free software: you can redistribute it and/or modify
#! /bin/sh -e
-# update-grub helper script.
+# grub-mkconfig helper script.
# Copyright (C) 2006,2007,2008,2009 Free Software Foundation, Inc.
#
# GRUB is free software: you can redistribute it and/or modify
#! /bin/sh -e
-# update-grub helper script.
+# grub-mkconfig helper script.
# Copyright (C) 2008 Free Software Foundation, Inc.
#
# GRUB is free software: you can redistribute it and/or modify