2 grub-extras is meant to be used as an overlay on grub2 source tree.
6 - Copy grub-extras in a subdirectory of your grub2 checkout.
7 For example, "grub-extras".
9 - Export GRUB_CONTRIB environment variable to point to this directory.
11 - Build GRUB as usual.
